Una vez más la representación de Gelfand demuestra que cada C-álgebra conmutativa es *-isomorfa a una álgebra de la forma C("X").