Cada C-álgebra conmutativa con elemento unidad es *-isomorfa a una tal álgebra C("X") usando la representación de Gelfand.