超滤子 Ultrafilter
(重定向自Ultra filter)
在数学领域集合论中,在集合 X 上的超滤子是作为极大滤子的 X 子集的搜集。超滤子可以被认为是有限可加性测度。那幺 X 的所有子集要幺被认为是“几乎所有”(有测度 1)要幺被认为是“几乎没有”(有测度 0)。如果 A 是 X 的子集,则要幺 A 要幺 X\A 是超滤子的元素(这里 X\A 是 A 在 X 中的相对补集;就是说,X 的不在 A 中的所有元素的集合)。这个概念可以被推广到布尔代数甚至是一般偏序,并在集合论、模型论和拓扑学中有很多应用。