Set oluşturucu ipuçlarını okuyun, ardından her bir öğeyi ait olduğu Venn bölgesine bırakın veya kaç tanesinin koşulu karşıladığını tam olarak hesaplayın.
Her bulmaca, iki veya üç set halinde set oluşturucu notasyonuyla yazılmış bir dizi öğe ve koşulu verir. Sıralama modunda her öğeyi doğru Venn bölgesine yerleştirirsiniz; Sayım modunda belirli bir kuralı kaç öğenin karşıladığını hesaplarsınız.
Cardinal, küme teorisini ve kombinatorikleri uygulamalı Venn şeması sıralama ve sayımına dönüştürüyor.
Küme oluşturucu gösterimle yazılmış koşullardan öğeleri bir Venn şemasına yerleştirmek, ezberden okunan değil anlaşılarak okunan kümeler kuramıdır.
Biçimsel gösterimi ipucu olarak kullanmak özgün taleptir.
Küme oluşturucu gösterim, birkaçını çözümleyene kadar anlaşılmaz olacak kadar yoğundur ve Venn şeması onun resmidir. Üç küme, sezginin çöktüğü noktadır (sekiz bölge ve bunların birkaçının var olduğunu unutmak kolaydır); bu yüzden şema süs olmaktan çıkar.
Cardinal, küme teorisini ve kombinatorikleri uygulamalı Venn şeması sıralama ve sayımına dönüştürüyor. Sıralama ve Sayma modları, üç zorluk seviyesi ve hem günlük hem de alıştırma bulmacaları sunan orijinal, ücretsiz bir tarayıcı oyunudur.