定義
集合 X の部分集合の集合 Φ を含む最小の単調族(>>82)を
M(Φ) と書く。