Основные понятия теории множеств:
- x ∈ M означает, что x является элементом множества M;
- множество A является подмножеством множества B (запись: A ⊂ B), если все элементы A являются элементами B;
- множества A и B равны (запись: A = B), если они содержат одни и те же элементы (другими словами, если A ⊂ B и B ⊂ A);
- если A — подмножество B, не равное всему B, то A называют собственным подмножеством B
- пустое множество ∅ не содержит ни одного элемента и является подмножеством любого множества;
- пересечение A ∩ B двух множеств A и B состоит из элементов, которые принадлежат обоим множествам A и B
A ∩ B = {x | x ∈ A и x ∈ B } - (читается: множество таких x, что . . . )
- объединение A∪B состоит из элементов, которые принадлежат хотя бы одному из множеств A и B
A ∪ B = {x | x ∈ A или x ∈ B}
- разность A\ B состоит из элементов, которые принадлежат A, но не принадлежат B
A \ B = {x | x ∈ A и x / ∈ B}
Если множество B является подмножеством множества A, разность A \ B называют также дополнением B до A
- симметрическая разность A 
B состоит из элементов, которые принадлежат ровно одному из множеств A и B:
A B = (A \ B) ∪ (B \ A) = (A ∪ B) \ (A ∩ B)
