[1] 比較可能性: (∀x ∈ X) (∀y ∈ X) (x R y ∨ y R x)