Kita mendefinisikan hasil kali Kartesius dari \(n\) himpunan sebagai
\begin{equation*}
A_1 \times \cdots \times A_n = \{ (a_1, \ldots, a_n): a_i \in A_i \text{ untuk } i = 1, \ldots, n \}\text{.}
\end{equation*}
Jika \(A = A_1 = A_2 = \cdots = A_n\text{,}\) kita sering menulis \(A^n\) untuk \(A \times \cdots \times A\) (dengan \(A\) ditulis sebanyak \(n\) kali). Sebagai contoh, himpunan \({\mathbb R}^3\) terdiri atas semua tripel bilangan real.