Star-subalgebra (source code)

= Star-subalgebra

A linear <subalgebra> closed under the involution. In <bounded operators>, this means <closure> under the <adjoint operator>; neither <norm> <closure> nor operator-topology <closure> is part of the definition. These distinctions matter in the <Von Neumann double commutant theorem> and the <Kaplansky density theorem>.