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.
