Universal Property of Tensor Product