Universal Property of the Tensor Product of Algebras