是 "X" 的子集，则要么 "A" 要么 "X"\"A" 是超滤子的元素（这里 "X"\"A" 是 "A" 在 "X" 中的相对补集；就是说，"X" 的不在 "A" 中的所有元素的集合）。这个概念可以被推广到布尔代数甚至是一般偏序，并在集合论、模型论和拓扑学中有很多应用。
形式定义.给定集合 X，X 的子集族 U 称为 X 上的超滤子，若U满足：
相关结论.下列定理给出超滤子和滤子的特征：在集合 X 上一个滤子 U 是超滤子，若下列条件之一成立：查看集