card A=cardinal A
Cardinalul sau puterea unei mulțimi finite reprezintă numărul elementelor acelei mulțimi. Pentru mulțimi infinite definiția a trebuit modificată, vezi mai jos.
Două mulțimi se numesc "echipotente" dacă au același număr de
elemente (același cardinal), altfel spus, dacă sunt la fel de bogate în
membri.
Două mulțimi A și B se numesc "echipotente" dacă există cel puțin o funcție bijectivă . Relația de echipotență satisface poprietățile unei relații de echivalență.
Numim "număr cardinal" clasa tuturor mulțimilor echipotente cu o mulțime dată.
Dacă două mulțimi sunt echipotente se mai spune că "au același cardinal" sau "au tot atâtea elemente".
Cardinalul unei mulțimi B se notează punând mulțimea între bare verticale, de exemplu B.
