写像
ふたつの写像 f: X → Z, g: Y → W に対して、写像の直積 f × g: X × Y → Z × W は
( f × g ) ( x , y ) := ( f ( x ) , g ( y ) ) ( x ∈ X , y ∈ Y ) {\displaystyle (f\times g)(x,y):=(f(x),g(y))\quad (x\in X,\,y\in Y)}
で与えられる。