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.

Some sources use a $0$-based system to number the elements of a Cartesian product.

For a given ordered pair $x = \left({a, b}\right)$, the notation $\left({x}\right)_n$ is also seen.

Hence:
 * $\left({x}\right)_1 = b$

which is interpreted to mean the same as:
 * $\operatorname{pr}_2 \left({a, b}\right) = b$

On, to avoid all such confusion, the notation $\operatorname{pr}_2 \left({x, y}\right) = y$ is to be used throughout.

Also see

 * Definition:First Projection


 * Definition:Right Operation: the same concept in the context of abstract algebra.