Theorem that the closure (under either the weak or strong operator topologies) of a unital *-algebra of bounded operators on a Hilbert space coincides with its bicommutant
theorem that the closure (under either the weak or strong operator topologies) of a unital *-algebra of bounded operators on a Hilbert space coincides with its bicommutant (en)