自反性 R 在 A 上是自反的, 当且仅当 ∀x(x∈A→<x,x>∈R) 对称性 R 在 A 上是对称的, 当且仅当 ∀x∀y(x,y∈A∧<x,y>∈R→<y,x>∈R) 传递性 R 在 A 上是传递的, 当且仅当 ∀x∀y∀z(x,y,z∈A∧<x,y>∈R∧<y,z>∈R→<x,z>∈R)