超濾子

設 為非空集合，則 上的超濾子是一個非空集合族 ，由 的子集構成，並具有以下性質

1. .

2. 如果 ，則 。

3. 如果 且 ，則 。

4. 對於 的任何子集 ，要麼 ，要麼其補集 。

如果一個超濾子 包含 的餘有限濾子 ，則稱其為自由的。