Una C-álgebra es un álgebra de Banach sobre el cuerpo de los números complejos, junto con una función : "A" → "A" llamada "involución" que tiene las propiedades siguientes: