大小関係
Magnitude relation
ある値とある値のどちらが大きいか小さいかを示す二項関係
順序を構成するのに使われることが多い