Kümelerde temel işlemler: kesişim (A ∩ B, ortak elemanlar), birleşim (A ∪ B), fark (A \ B), tümleyen (A′). n elemanlı bir kümenin alt küme sayısı 2ⁿ, öz alt küme sayısı 2ⁿ − 1'dir.
İki kümeli problemler
s(A ∪ B) = s(A) + s(B) − s(A ∩ B). 'Yalnız A', 'hiçbiri' gibi bölgeler Venn şemasında ayrı alanlara yazılır; hiçbiri evrensel kümeden birleşim çıkarılarak bulunur.
Mantık
Doğru ya da yanlış kesin hüküm bildiren ifadeye önerme denir (p, q; doğruluk değeri 1/0). Bileşik önermeler: p ∧ q (ve — ikisi de doğruysa doğru), p ∨ q (veya — en az biri doğruysa doğru), p ⇒ q (ise — yalnız p doğru q yanlışken yanlış), p ⇔ q (ancak ve ancak — aynıysa doğru). De Morgan kuralları: (p ∧ q)′ ≡ p′ ∨ q′; (p ∨ q)′ ≡ p′ ∧ q′.