Theoremdex.org
Definitions
,
Results
,
Conjectures
0.
Set of symbols
1.
Alphabet
2.
Deduction system
3.
Theory
4.
Zermelo-Fraenkel set theory
5.
Set
Binary cartesian set product
Formulation 0
Let $X$ and $Y$ each be a
D11: Set
.
The
binary cartesian product
of $X$ with $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