任意の元a,bに対してa\le bまたはb\le aであるかが成り立つ