布尔代数甚至是一般偏序，并在集合论、模型论和拓扑学中有很多应用。
形式定义.给定集合 X，X 的子集族 U 称为 X 上的超滤子，若U满足：
相关结论.下列定理给出超滤子和滤子的特征：在集合 X 上一个滤子U 是超滤子，若下列条件之一成立：查看集合 "X" 上超滤子的另一种方式是定义在 "X" 的幂集上一个函数 "m"，设置 "m"("A") = 1 如果 "A" 是 "U" 的元素，否则 "m"("A") = 0。那么 "m" 是在 "X" 上的有