>>357
空集合でない時に最小の要素があれば全体集合に順序がある
これ常識