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.
