Se definió como un intento de crear un álgebra de observables para la mecánica cuántica y la teoría cuántica de campos.