En álgebra abstracta , un mapa unital en un C * álgebra es un mapa que conserva el elemento de identidad:
Esta condición aparece a menudo en el contexto de mapas completamente positivos , especialmente cuando representan operaciones cuánticas .
Si es completamente positivo, siempre se puede representar como
(La son los operadores de Kraus asociados con). En este caso, la condición unital se puede expresar como