 Projection map

A projection map from a Cartesian product selects specified coordinates, for example $p_j:{\prod }_i{X}_i\to X_j$ with $p_j((x_i{)}_i)=x_j$.