We analyse in this paper a concept related to the Connes Embedding Problem [Co]. A type II1 algebra is an algebra with a trace, and CEP requires for the multiplication to be approximated by matrices. Here we start the analysis of four products, which is the study of cyclic Hilbert spaces.