ハッセ図
↑ Birkhoff 1967, p. 4.
↑ 無限な半順序は推移簡約を持つとは限らない。各元には必ず immediate successor がなければならない。実数の区間 [0, 1] を考えてみればよい。
↑ Birkhoff (1948, p. 6)とSchröder (2016, p. 6)を参照。
↑ Birkhoff 1948, p. 6.
↑ 例えば、Di Battista & Tamassia (1988) や Freese (2004) を参照