滤子.滤子的一个特殊情况是定义在集合上的滤子。假定一个集合"S"，偏序⊆可以通过子集包含定义在幂集P("S")上，把 (P("S"),⊆)变成了一个格。定义"S"上的滤子 "F"为P("S")的有如下性质的子集：前三个性质蕴涵了集合上的滤子有有限交集性质。通过这个定义在集合上的滤子是真滤子。为此有时叫做集合上的真滤子；但是，只要集合上下文是明显的，短名字就足够了。滤子基是P("S")的带有如下性质的子集"B"：滤子基"B"可以通过把包含"B"的一个集合的P("S")的所有集合包括在内而变成(