(1)同値関係

(2)集合の分割

(3)商集合

(4)順序関係

(5)順序同型

(6)極大元・極小元

(7)Tukeyの補題

(8)Zornの補題