관계

관계의 성질은 

 

반사적(a, a) ∈ R 

대칭적 (a,b) ∈ R, (b,a) ∈ R 

추이적 (a,b)∈ R , (b,c) ∈ R , (a,c) ∈ R 

 

이다.