Definitions
,
Results
,
Conjectures
▾
Set of symbols
▾
Alphabet
▾
Deduction system
▾
Theory
▾
Zermelo-Fraenkel set theory
▾
Set
Binary cartesian set product
Formulation 0
Let $X$ and $Y$ each be a
D11: Set
.
The
binary cartesian product
of $(X, Y)$ is the
D11: Set
\begin{equation} X \times Y : = \{ (x, y) : x \in X \text{ and } y \in Y \} \end{equation}
Child definitions
»
D4: Binary relation
Results
»
R10: Binary cartesian product with empty set is empty