Dada una C*-álgebra unitaria , un subespacio *-cerrado S que contiene 1 se denomina sistema de operadores . A cada subespacio de una C*-álgebra unitaria se le puede asociar un sistema de operadores mediante .
Los morfismos apropiados entre sistemas operadores son mapas completamente positivos .
Por un teorema de Choi y Effros, los sistemas de operadores pueden caracterizarse como espacios vectoriales * equipados con un orden matricial arquimediano. [1]
