Definition:Set Product/Projection

Definition

Let $\family {S_i}_{i \mathop \in I}$ be an indexed family of sets.

Let $\struct {P, \family {\phi_i}_{i \mathop \in I} }$ be a set product of $\family {S_i}_{i \mathop \in I}$.

The mappings $\phi_i$ are the projections of $P$.

Also see

• Results about set products can be found here.

Sources

• 1967: George McCarty: Topology: An Introduction with Application to Topological Groups ... (previous) ... (next): Chapter $\text{I}$: Sets and Functions: Problem $\text{BB}$: Categorical Matters