「順序集合」の版間の差分
削除された内容 追加された内容
104行目:
[[Image:Hasse diagram of powerset of 3.svg|right|thumb|150px|三元集合 {''x'', ''y'', ''z''} の[[冪集合|部分集合の全体]]を包含関係を順序とする順序集合とみたときの[[ハッセ図]]]]
''P'' を有限集合とし、「<」を''P'' 上の狭義の
: 頂点：''P''の元
118行目:
さらに{''x''} は {''x'',''z''} によって被覆されるが、{''x'',''y'',''z''} には被覆されない。
なお、有限
逆に{{math|(''V'' , ''E'' )}}を閉路を持たない有限な単純有向グラフとすると、''V'' 上に以下の順序を入れる事で''V'' を
: {{math|''a'' < ''b''}} ⇔ ''a'' から''b'' への道がある
したがって有限
== {{anchors|上界|下界|上限|下限|最大|最小|極大|極小}}上界、最大、極大、上限、上方集合==
| |||