Category:Cartesian Product

This category contains results about cartesian products.
Definitions specific to this category can be found in Definitions/Cartesian Product.

Let $S$ and $T$ be sets or classes.

The cartesian product $S \times T$ of $S$ and $T$ is the set (or class) 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}$