Editing Von Neumann bicommutant theorem (section)

=== Non-unital case ===
A C*-algebra {{math|'''M'''}} acting on '''H''' is said to act ''non-degenerately'' if for ''h'' in {{mvar|H}}, {{math|'''M'''''h'' {{=}} {0} }} implies {{math|''h'' {{=}} 0}}. In this case, it can be shown using an [[approximate identity]] in {{math|'''M'''}} that the identity operator ''I'' lies in the strong closure of {{math|'''M'''}}. Therefore, the conclusion of the bicommutant theorem holds for {{math|'''M'''}}.