“…It follows from this that the triple envelope, in the sense of [109], of a JC * -triple E which is isometric to a Cartan factor is identified with the TRO generated by E. The following theorem shows that distinct JC-operator space structures on a Hilbert space cannot be completely isometric. It is also shown in [49,Theorem 3.4] how infinite-dimensional Hilbertian JC-operator spaces are determined explicitly by their finite-dimensional subspaces, and that, in turn, they impose very rigid constraints upon the operator space structure of their finite-dimensional subspaces. Finally, the operator space ideals of the universal TRO of a Hilbert space are identified [49,Theorem 3.7], as well as the corresponding injective envelopes [49,Theorem 4.4].…”