which formally expresses the statement that it is the most general algebra containing V:
: Any linear map from to an associative algebra over can be uniquely extended to an algebra homomorphism from to as indicated by the following commutative diagram:

Here is the canonical inclusion of into . As for other universal properties, the tensor algebra can be defined