# Category:Cartesian Product

Let $S$ and $T$ be sets.
The cartesian product $S \times T$ of $S$ and $T$ is the set of ordered pairs $\tuple {x, y}$ with $x \in S$ and $y \in T$:
$S \times T = \set {\tuple {x, y}: x \in S \land y \in T}$