Definitions
,
Results
,
Conjectures
▾
Set of symbols
▾
Alphabet
▾
Deduction system
▾
Theory
▾
Zermelo-Fraenkel set theory
▾
Set
▾
Binary cartesian set product
▾
Binary relation
▾
Map
▾
Cartesian product
Canonical set projection
Formulation 0
Let $X = \prod_{j \in J} X_j$ be a
D326: Cartesian product
.
The
canonical projection
on $X$ with respect to $i \in J$ is the
D18: Map
\begin{equation} X \to X_i, \quad \{ x_j \}_{j \in J} \mapsto x_i \end{equation}
Results
»
R322: Image of projection map
»
R4601: Element in countable cartesian product iff components in images of canonical projections
»
R4602: Element in finite cartesian product iff components in images of canonical projections
