x\}\]とも書けるだろう。(分出公理によって存在が保障されることはわかりにくいが)。2つであったので、商集合は\[\omega/M=\{M_o,M_e\}\]となる。適当に代表元を定めて\[\omega/M=\{[0],[1]\}\]とも書ける。関するそれらを定義しようとする際は注意が必要である。あるような写像でなくてはならない。与えても代表元の選び方によって返るモノが変わるようでは写像とは言えないからである。