Für endliche Mengen gilt:
Allgemein: ∣A1×⋯×Ak∣=∏i=1k∣Ai∣|A_1\times\cdots\times A_k|=\prod_{i=1}^k |A_i|∣A1×⋯×Ak∣=∏i=1k∣Ai∣.