Universal Property of the Tensor Product