Alt küme ile eşitlik birbirine sıkı bağlıdır. İki küme eşitse birbirinin alt kümesidir. Siz A ⊆ B ve B ⊆ A ise A = B sonucuna ulaşırsınız. Bu çift yönlü ilişki, eşitlik sorularında temel kanıttır. Tipik sorularda verilen eleman listelerinden alt küme sayısı istenir veya eşitlik kontrolü yapılır. Venn şeması çizmeden simgesel düşünmek daha hızlıdır. Eleman tekrarı veya sıra değişikliği eşitliği bozmaz, bu tuzak sık görülür.
Birleşim, kesişim, fark ve tümleme işlemleri alt küme bilgisine dayanır. Kesişim, ortak elemanları alır; birleşim tümünü kapsar. Fark, birinde olup diğerinde olmayanları seçer. Tümleme, evrensel kümede olmayanları verir. Siz bu işlemleri zincirleyerek karmaşık ifadeleri sadeleştirirsiniz. Tipik kalıplar, işlem sonuçlarının eleman sayısını veya belirli bir elemanın hangi kümelerde olduğunu sorar. De Morgan kuralları henüz resmi olmasa da sezgisel olarak ortaya çıkar.
Kartezyen çarpım, sıralı ikililer üretir. A × B, A’dan birinci, B’den ikinci bileşen alır. Eleman sayısı çarpım kadardır. Siz bu işlemi fonksiyonlara hazırlık olarak görürsünüz. Sorularda verilen kümelerden oluşan ikililerin sayısı veya belirli bir ikilinin çarpıma ait olup olmadığı sorulur. Alt küme bilgisi, çarpımın alt kümelerini incelerken işe yarar. Tüm bu bağlar, ünitenin bütünlüğünü sağlar ve ezberden çok ilişki kurmayı teşvik eder.