>>538
>(κ,λ)∈Ord×Ord
Ord×Ordに辞書式順序を入れたモノは
全順序かつどんな部分集合（あるいは部分クラス）にも最小元があるので
この順序は「整列順序」っぽいがOrdと順序同型にはならない
整列順序「集合」は必ずOrdの切片と順序同型となるが
整列順序「クラス」はそうではないわけだな