非主超濾子(nonprincipal ultrafilter)一種超濾子.設1是一非空集合,D是I上的超濾子.如果適合:對每個ZE1,{動諾D,則稱D為非主超濾子. ...
主超濾子(principal ultrafilter)一類特殊的超濾子.具有聚點p的超濾子恰是含有點p的所有集合的集族,稱為主超濾子.不具有聚點的超濾子稱為非主超濾子. ...
有兩種非常不同類型的超濾子: 主要的和自由的。主要(或固定或平凡)的超濾子是包含最小元的濾子。因此主超濾子有形式Fa={x|a≤x}對於給定偏序集合的某些(但...
