Diberikan himpunan \(A\) dan \(B\text{,}\) kita dapat mendefinisikan suatu himpunan baru \(A \times B\text{,}\) yang disebut hasil kali Kartesius dari \(A\) dan \(B\text{,}\) sebagai himpunan pasangan terurut. Artinya,
\begin{equation*}
A \times B = \{ (a,b) : a \in A \text{ dan } b \in B \}\text{.}
\end{equation*}