[1] 推移性: (∀x ∈ X) (∀y ∈ X) (∀z ∈ X) (x R y ∧ y R z ⇒ x R z)
(∀x ∈ X) (∀y ∈ X) (∀z ∈ X) (x R y ∧ y R z ⇒ x R z)