Обозначения

Формулировать задания с использованием теоретико-множественной терминологии получается довольно громоздко и неудобно. Значительно проще и удобнее использовать обозначения. Конкретные множества обычно обозначают большими (или заглавными) буквами. Элементы множеств напротив обозначаются маленькими (или строчными) буквами. Приняты такие знаки:
∈ — принадлежит (элемент), например, запись a ∈ A означает a является элементом множества A.
⊂ — входит (подмножество), запись M ⊂ N означает M является подмножеством множества N.
∩ — пересечение, A ∩ B обозначает пересечение подмножеств A и B.
∪ — объединение, A ∪ B обозначает объединение подмножеств A и B.
¬ — дополнение, ¬A — дополнение подмножества A.
∅ — пустое множество.
Пусть M — некоторое множество. Нумерацию этого множества мы будем обозначать так:



здесь Z — отрезок натурального ряда. Если m — элемент множества M, m ∈ M, то f(m) — номер этого элемента, f(m) ∈ Z.
Эти обозначения делают формулировки короткими и понятными, но к ним надо привыкнуть, чем мы и займёмся.