>>507
Rは通常の大小関係で全順序づけられるが