空更新代わりに

半順序集合。A={0,1}という集合を考える。
p(A) *1を考えると、(p(A),⊆)は半順序集合。半順序集合の場合、比べられない場合がある。上の例で言えば、{0}と{1}には関係が定義されてない。グラフ*2に直すと、ひし形を考えて、一番下がφ、中段の二点が{0}と{1}、一番上がAそのもの。
で、この半順序集合を有向グラフに直した時に半直線になるのが整列集合。
さて寝る。明日早いんだよ。

*1:Aのべき集合

*2:有向グラフ