ひかるさんのアドベントカレンダー企画の3日目の記事です. www.adventar.org このあいだの記事で整列集合のことを少し書きました. paiotunoowari.hatenadiary.jp $\mathbb{N}$は普通の大小関係で整列集合になってます. $\mathbb{Z}$とかも普通の大小関係は整…