Yes, it is. Sorry, no one answered in Mathematics so I came here because the name of this chat suggests linear algebra.
Anyway, I defined $\xi$ one line above as the projection modulo a certain subspace $S$ generated by the relations chosen so that $\xi$ is bilinear.
I was struggling construct a tensor product. I'm done now. Thanks for the response.