非反射的な半順序集合って常に全順序集合に拡張可能なんだな(選択公理を仮定)
知らなかった