くるより

くる — Sat, 26 Jun 2021 06:52:16 +0000

アークトゥルスへの返信。アークトゥルスさんご指摘ありがとうございます。修正致しました。

アークトゥルスより

アークトゥルス — Tue, 15 Jun 2021 09:05:51 +0000

「要素が数字の場合」のハッセ図の最大が8だというのは正しくないように思います（この図では8と6などは比較できないので）。「この図の順序について、最大元はない」が答えだと思います。
最大元は「皆が自分より下にいる」元であり、極大元は「誰も自分より上にいない」元だとイメージすると分かりやすいです。

また、集合の包含関係は $\in$ ではなく $\subset$ です。