5.
-
1-)her nesne kendine denktir.
2-)x denktir y ise y de x e denktir.
3-)x denktir y ve y denktir z iken x denktir z dir.
önermelerinin üçünü de sağlayan bir sistemde oluşan denklik sınıflarındaki her bir elemen, ilgili denklik sınıfındaki elemenların her birine denktir.
