Moc zbioru.
Moc zbioru, liczba kardynalna, uogólnienie pojęcia liczby elementów zbioru skończonego na dowolne zbiory. Moc zbioru A oznacza się symbolem 
, #A lub card A. Moc zbioru przyporządkowana jest każdemu zbiorowi w taki sposób, że zbiory równoliczne (tzn. takie, że istnieje funkcja różnowartościowa przekształcająca jeden zbiór na drugi) mają równą moc. Mocą zbiorów skończonych są liczby naturalne, będące liczbami elementów tych zbiorów. Mocą zbiorów, które nie są liczbami naturalnymi, są moce zbiorów nieskończonych (nieskończone liczby kardynalne). Jest ich nieskończenie wiele.