Definition:Projection (Mapping Theory)/Second Projection

Definition

Let $S$ and $T$ be sets.

Let $S \times T$ be the Cartesian product of $S$ and $T$.

The second projection on $S \times T$ is the mapping $\operatorname{pr}_2: S \times T \to T$ defined by:

$\forall \left({x, y}\right) \in S \times T: \operatorname{pr}_2 \left({x, y}\right) = y$

Also known as

This is sometimes referred to as the projection on the second co-ordinate.

Also see

• First Projection

• The right operation for the same concept in the context of abstract algebra.

Sources

• Paul R. Halmos: Naive Set Theory (1960)... (previous)... (next): $\S 6$: Ordered Pairs
• Paul R. Halmos: Naive Set Theory (1960)... (previous)... (next): $\S 8$: Functions
• Seth Warner: Modern Algebra (1965)... (previous)... (next): $\S 13$
• George McCarty: Topology: An Introduction with Application to Topological Groups (1967): $\text{I}$: Exercise $\text{R}$
• T.S. Blyth: Set Theory and Abstract Algebra (1975): $\S 5$: Example $5.5$
• Keith Devlin: The Joy of Sets: Fundamentals of Contemporary Set Theory (1993): $\S 1.4$