Este es de hecho un operador bien definido.