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