ingilizcesi equivalance class diye gecer... [; \sim;] ile gosterilir... iki tane elemanin denk olup olmadigini belirler... kisaca ozetlemek gerekirse, buyuk bir kumeyi daha ufak denk kumelere boler...
ornek: modular aritmetik... [; \sim ;] = n|(a-b), n>1 diye tanimlarsak, [; \forall m \in \mathbb{z} ;] , a= mn+b, n mod degeri... bu sekilde gordumuz uzere, a [; \sim ;] b, a[; \sim ;]b+n, a[; \sim ;]b+2n vs. vs.
3 sarti vardir bir seyin denkil sinifi tanimlamasi icin:
1) a[; \sim ;]a
2) sayet a[; \sim ;]b, o zaman b[; \sim ;]a
3) sayet a[; \sim ;]b ve b[; \sim ;]c, o zaman a[; \sim ;]c
ozellikle rasyonel sayilarin insasinda cok ise yarar... (bkz: rasyonel sayilar)
tadimlik: (a,b)[; \sim ;](c,d) ise ad=cb diye tanimlayin [; \sim ;]... bu sekilde rasyonel sayilarin bir alan (field) oldugu gosterilebilir...
