整列集合とは,「間隔を空けてきれいに順番に並んだ」集合のことで,具体的には,どんな部分集合を持ってきてもちゃんと大小関係として最小値が定まる···