Universal enveloping W*-algebra