Hausdorff locally convex space such that tensor product with any other Hausdorff locally convex space is uniquely defined (i.e. the projective tensor product is canonically isomorphic to the injective tensor product)
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).