Gelfand–Naimark–Segal

Redirect to:

• Gelfand–Naimark–Segal construction