半順序集合Pの2つの元a,bに対し、a≦bまたはb≦aのいずれか(あるいは両方)が成り立つとき、aとbは比較可能(comparable)であるという.
半順序集合Pの