el operador de traza parcial puede ser caracterizado invariantemente como sigue: Es el único operador lineal