Vybrané kapitoly z aritmetiky a analytickej geometrie

Definícia - súčin kardinálnych čísel.
Nech $\small A,B$ sú dve konečné, ktorých kardinálne čísla sú $\small card (A), card (B)$. Pod súčinom týchto kardinálnych čísel budeme rozumieť kardinálne číslo karteziánskeho súčinu $\small A \times B$
$\small card (A) \cdot card (B) = card(A \times B)$.

Veta.
Pre karteziánsky súčin dvoch množín platí komutatívny a asociatívny zákon. To znamená, že násobenie kardinálnych čísel je 
komutatívne aj asociatívne
distributívne voči sčítaniu.