0835132人目の素数さん垢版 | 大砲2018/11/04(日) 08:13:38.61ID:etlVQOCc 非反射的な半順序集合って常に全順序集合に拡張可能なんだな(選択公理を仮定) 知らなかった