语：filter)是偏序集合的特殊子集。经常使用的特殊情况是：要考虑的有序集合只是某个集合的幂集，并用集合包含来排序。滤子出现在序理论和格理论中，还可以在它们所起源的拓扑学中找到。滤子的对偶概念是理想。滤子是昂利·嘉当在1937年发明的并随后在尼古拉·布尔巴基的书《Topologie Générale》中作为对E. H. Moore和H. L. Smith在1922年发明的网的概念的替代。
定义.滤子和滤子基的最一般的形式是定义在一般的偏序集上的。设F是偏序集合 (P,≤)