In mathematics, an O*-algebra is an algebra of possibly unbounded operators defined on a dense subspace of a Hilbert space. The original examples were described by and , who studied some examples of O*-algebras, called Borchers algebras, arising from the Wightman axioms of quantum field theory. and began the systematic study of algebras of unbounded operators.
O*-algebras are not all types of Borchers algebras
Borchers algebras are said to be examples of O*-algebras, not the other way around. I think the system had difficulty because I used negative language