Zbiory
Zbiór (mnogość) należy do pojęć pierwotnych aksjomatycznej teorii mnogości i nie podaje się jego definicji. Pojęcie używane we wszystkich działach matematyki - podobnie jak w mowie potocznej - w znaczeniu wielości (kolekcji) określonych obiektów, np. zbiór książek na półce, zbiór znaczków pocztowych w klaserze, zbiór liczb całkowitych. Obiekty, które należą do danego zbioru nazywa się elementami zbioru.
Zbiory oznaczamy dużymi literami A, B, C…
Zapis a ∈ A oznacza, że a należy do zbioru A (a jest elementem zbioru A).
Zapis a ∉ A oznacza, że a nie należy do zbioru A (a nie jest elementem zbioru A).
Zbiór skończony jest to zbiór, którego wszystkimi elementami są a1; a2; a3;…;an i zapisujemy go w postaci {a1; a2; a3;…;an}.
Zbiór jednoelementowy jest to zbiór, którego jedynym elementem jest a i zapisujemy go w postaci {a}. Zbiór jednoelementowy jest szczególnym przypadkiem zbioru skończonego.
Zbiór pusty jest to zbiór, do którego nie należy żaden element i zapisujemy go w postaci ∅.
Zbiór nieskończony jest to zbiór, który nie jest skończony. Oznaczamy go symbolem {a1; a2; a3;…}. Do zbiorów nieskończonych należą zbiory liczbowe np.: N, C, R (zbiór liczb naturalnych, całkowitych, rzeczywistych).