>>400
最大の順序体って書いてあるの？でかすぎて集合ですらないんだけど。