今日の目標 半順序・全順序・狭義半順序・狭義全順序とそれらの関係について学ぶ。 この記事で使う記号や用語 $\NN$ を非負整数全体の集合とする。 $\NN_+$ を正整数全体の集合とする。 集合 $X$ のべき集合を … 続きを読む 半順序・全順序・狭義半順序・狭義全順序