Sıralı ikililerden oluşmuş kümeler düşünelim. Bunlara ilinti diyeceğiz. Örnek olarak, R ve S şu şekilde tanımlanmış iki ilinti olsun: R = {(a,b),(a,c),(c,b)}, S = {(a,d),(b,b),(b,a),(e,f)}. İkilileri oluşturan elemanları kapsayan bir E evrensel kümesinin bulunduğunu varsayacağız. Bu örnekte, E = {a,b,c,d,e,f,g} olabilir.

İki ilinti arasında tanımlanan ⊙ işlemi, birinci ilintinin bütün ikilileriyle ikinci ilintinin bütün ikililerini karşılaştırmaktadır. Birinciden gelen ikilinin ikinci elemanıyla, ikinciden gelen ikilinin birinci elemanı eşitse, birincinin birinci elemanı ve ikincinin ikinci elemanından yeni bir ikili oluşturmaktadır. Bu şekilde oluşturulan tüm ikililer sonuç ilintisini meydana getirmektedir. Örneğin, yukarıda verilen R ve S için R ⊙ S = {(a,b),(a,a),(c,b),(c,a)}.

A = {(1,1),(2,1),(3,2),(4,1),(4,2)} ve A ⊙ B = {(1,2),(2,2),(1,3),(2,3),(3,3),(4,2),(4,3)} olduğuna göre olabilecek en küçük B ilintisi nedir? “En küçük” ilintideki ikililerin sayısının, istenen koşulu sağlamak kaydıyla, en az olması anlamındadır.

Aşağıdakilerden hangisi için A ⊙ A = {(3,3),(3,4),(4,4),(5,1)} sağlanır?

Verilen bir A ilintisi için ∼A, ilintisindeki bütün ikililerin birinci ve ikinci elemanlarının yer değiştirmesiyle oluşan ikililerden oluşan ilintiyi göstersin. Yukarıdaki R örneği için, ∼R = {(b,a),(c,a),(b,c)}. Herhangi A ve B ilintileri ele alındığında aşağıdaki ifadelerden hangisi doğrudur?