Önce iki denklik sınıfının ayrık yada çakışık olduğunu göstereceğiz. Sonra da denklik sınıflarının birleşiminin A'yı verdiğini.
1- a,b∈A olmak üzere [a]∩[b]=∅ yada [a]=[b].
Kabul edelim ki; [a]∩[b]≠∅ olsun. Bu durumda c∈[a] ve c∈[b] olacak şekilde bir c∈A vardır. c∈[a] ise cβa ve cβb simetri özelliğinden bβc ve geçişme özelliğinden bβa ve aβb. x∈[a] olsun. Bu durumda xβa ve aβb olduğundan xβb olur ki; bu ise [a]⊆[b] demektir. Benzer şekilde [b]⊆[a] olduğunu görebiliriz.
2-A=∪a∈A[a] olduğunu görelim.
x∈A olsun. Yansıma özelliğinden xβx olup x∈[x] yani; x∈∪a∈A[a] bulunur. Diğer kapsama her zaman sağlanır.