Let be the linear subspace of that is spanned by the relations that the tensor product must satisfy. More precisely, is spanned by the elements of one of the forms: where , and .
Let be the linear subspace of that is spanned by the relations that the tensor product must satisfy More precisely is spanned by the elements of one of the forms where  and 