Fonksiyonun tanımından dolayı, bir eleman birden fazla görüntü ile eşleşemez. Basitçe, biz fonksiyonu böyle tanımladığımız için bu böyledir.
O zaman tanımı değiştirelim ve birden fazla elemanla eşleşme mümkün olsun derseniz, zaten bunun için de ayrı bir tanım var. Bu türlüsüne de bağıntı ismi verilir.
Bu tür kavramlar için ispat yapılmaz. Bunlar tanımdır.