分からない問題はここに書いてね416

968 ：１３２人目の素数さん：2016/08/14(日) 00:22:07.20 ID:SoVWKvM1.net

Φを、集合Xの有限交叉性をもつ部分集合全体とする（この仮定が必要かは分かりませんが一応書いておきます）。
Φに包含関係による順序関係を入れ、順序集合とする
このとき、「K∈Φに対し、Φ0={F∈Φ|K⊂F}の極大元は、Φの極大元となる」

「」内がなぜそうなるのか分かりません…
どなたか教えていただけないでしょうか