Universal property of tensor products

Any map $h:V\times W\to Z$ has a unique map $\tilde{h}:V⨂W\to Z$ such that the diagram below commutes, i.e. $\exists !\tilde{h}:h=\tilde{h}\circ \phi$

$$\begin{array}{ccc}V\times W& \stackrel{\phi }{\to }& V⨂W\\ & h\searrow & \downarrow \tilde{h}\\ & & Z\end{array}$$