Bicommutant

In algebra, the bicommutant of a subset "S" of a semigroup (such as an algebra or a group) is the commutant of the commutant of that subset. It is also known as the double commutant or second commutant and is written formula_1.
The bicommutant is particularly useful in operator theory, due to the von Neumann double commutant theorem, which relates the algebraic and analytic structures of operator algebras. Specifically, it shows that if "M" is a unital, self-adjoint operator algebra in the C*-algebra "B(H)", for some Hilbert space "H", then the weak closure, strong closure and bicommutant of "M" are equal. This tells us that a unital C*-subalgebra "M" of "B(H)" is a von Neumann algebra if, and only if, formula_2, and that if not, the von Neumann algebra it generates is formula_3.
The bicommutant of "S" always contains "S". So formula_4. On the other hand, formula_5. So formula_6, i.e. the commutant of the bicommutant of "S" is equal to the commutant of "S". By induction, we have:
and
for "n" > 1.
It is clear that, if "S"1 and "S"2 are subsets of a semigroup, 
If it is assumed that formula_10 and formula_11 (this is the case, for instance, for von Neumann algebras), then the above equality gives