Zdroj TeX:
\small card (A) \cdot card (B) = card(A \times B)