Zdroj TeX:

\small \text{card} (A) \cdot \text{card} (B) = \text{card}(A \times B)