La estructura de una C-álgebra fuerza cualesquiera *-homomorfismos a ser contractivos; y un homomorfismo es inyectivo si y solamente si es isométrico.