>>559
それwell-definedですか?連続濃度の集合同士でも辞書式って成り立つんですか?