In matematik , kelime ikilik birçok kullanımı vardır.
Bir ikilik bir aile içinde tanımlanır F herhangi bir nesne yani matematiksel nesnelerin, X, bir F başka bir nesne verilir , Y ve F . Biz söylemek Y ikili olduğunu X ve X ilkel olduğu arasında Y . Eğer X = Y ise ( = = karmaşık izomorfik ilişkileri ima edebiliriz), X'in otomatik çift olduğunu söyleriz .
Birçok dualite durumunda, dualin ikilisi ilkeldir.
Bu nedenle, örneğin, bir kümenin tümleyicisi kavramı, dualite kavramlarından ilki olarak görülebilir.