What was introduced in von Neumann algebras