Wiki. “超滤” [超滤]SimplicialCat 定义 集合上的超滤 集合 $S$ 上的超滤是 $S$ 的子集的 Boole 环 $2^S$ 到 $2$ 的同态, 也即 $2^S$ 的素理想. 相关概念 Stone 对偶