Result stated and proved in the source manuscript; website restatementfusion-reconstruction
Statement
Let marked von Neumann algebras have faithful normal unital mark-preserving embeddings and a common faithful normal increasing concrete realization in , with fixed projection and . Set . Then each of , , and is the ultraweak closure of the union of its finite-stage corners.
Meaning and scope
The common concrete realization and preserved mark are essential hypotheses. The proof uses standard von Neumann algebra density arguments.