Moc zbioru – własność zbioru, która opisuje jego
liczebność. Nieformalnie, moc zbioru jest tym
większa im
większy jest zbiór. Pojęcie mocy zbioru opiera się na pojęciu
równoliczności dwóch zbiorów – zbiory
A i
B są równoliczne, gdy każdy element zbioru
A można połączyć w parę z dokładnie jednym elementem zbioru
B, innymi słowy istnieje
bijekcja (
funkcja różnowartościowa i
"na") między zbiorami
A i
B. Zbiory równoliczne mają tę samą
moc. Moce zbiorów są konkretnymi obiektami matematycznymi, nazywanymi
liczbami kardynalnymi.