定義
Φ を集合 X 上の集合代数(過去スレ007の196)とする。
任意の x ∈ X に対して、>>677の Φ(x) を x により決定される極大フィルターと言う。
同様に、>>677の M(x) を x により決定される極大イデアルと言う。