Proprietà fondamentale delle mappe

Proprietà Fondamentale

Sia $Z$ un insieme e siano date le mappe $f_x:Z\to X,f_y:Z\to Y$. Allora esiste ed è unica la mappa $f:Z\to X\times Y$ tale che $p_x\circ f=f_x$ e $p_y\circ f=f_y$.
Ossia il diagramma commuta