>>74
全順序集合の定義はどこにありますか