Se numeşte cardinalul unei mulţimi {\displaystyle A\!} un simbol asociat lui A, notat {\displaystyle card\;A,\!} a.î.:
{\displaystyle card\;A=card\;B\;\Leftrightarrow \;A\sim B.\!}
Fie A şi B două mulţimi; vom scrie
{\displaystyle card\;A\leq card\;B,\!} dacă {\displaystyle A\sim B_{1}\subseteq B;\!}
