De hecho, cada C-álgebra es *-isomorfa a una subálgebra cerrada de tal álgebra de operadores para un espacio de Hilbert "H" conveniente; éste es el contenido del teorema de Gelfand-Naimark.