inkluzja (właściwa, niewłaściwa) zawiera się, jest zawarte; zawiera przynależność do zbioru należy do (jest elementem), zawiera w sobie element zbiór pusty suma zbiorów iloczyn zbiorów również przekrój zbiorów różnica zbiorów zbiór ilorazowy również przez iloczyn kartezjański również produkt moc zbioru moc nieskończonego zbioru przeliczalnego alef zero continuum, moc zbioru liczb rzeczywistych kontinuum kwantyfikator ogólny dla każdego, inne nazwy: uniwersalny, duży kwantyfikator egzystencjalny istnieje, inne nazwy: szczegółowy, mały kwantyfikator jednoznaczności istnieje dokładnie jeden obcięcie do również restrykcja, zawężenie (np. restrykcja funkcji) tautologia zdanie zawsze prawdziwe kontradykcja zdanie zawsze fałszywe
Ważne zbiory i struktury Symbol Znaczenie zbiór liczb naturalnych, liczby naturalne z zerem włącznie, zbiór liczb całkowitych, liczby całkowite dodatnie, , pierścień reszt modulo zbiór liczb wymiernych, zbiór liczb wymiernych dodatnich, , liczby -adyczne zbiór liczb rzeczywistych, zbiór liczb rzeczywistych dodatnich, , zbiór liczb hiperrzeczywistych zbiór liczb zespolonych, zbiór kwaternionów zbiór oktonionów zbiór sedenionów