universal enveloping W*-algebra