TANIM1: bir küme bir bağıntı olsun. Eğer , yansıyan, simetrik ve geçişken bir bağıntı ise ’ye bir denklik bağıntısı denir ve genelde biçiminde gösterilir.
TANIM2:, üzerinde bir denklik bağıntısı, olsun. kümesine ’nın denklik sınıfı denir. ’nın denklik sınıfı bazı kaynaklarda olarak da gösterilir. , olduğundan ’dir.
TANIM1: ve iki küme olsun. ’nin herhangi bir alt kümesine ’den ’ye bir bağıntı denir. Bazı kaynaklarda bağıntının tanımı verilirken olarak verilir ve ’nin boştan farklı herhangi bir alt kümesine bağıntı denir. Yani bir bağıntı olarak kabul edilmez. Halbuki boşkümenin bir bağıntı olması matematiğin herhangi bir dalına herhangi bir problem yaratmaz. Aksine, boşkümenin bir bağıntı olarak kabul edilmesi topos teoride çok önemli bir rol oynar.
elemanlı, elemanlı kümeler ise elemanlı bir kümedir. ’den ’ye bir bağıntı aynı zamanda ’nin bir elemanı olduğundan ’den ’ye tüm bağıntıların sayısı ’dir. ve boş olmayan kümeler ve en az biri sonsuz elemanlı ise ’den ’ye tüm bağıntıların kümesi de sonsuz elemanlıdır.
![[a]_{\sim}](http://s.wordpress.com/latex.php?latex=%5Ba%5D_%7B%5Csim%7D&bg=ffffff&fg=000000&s=0 "[a]_{\sim}")
