Lemma 3.4 . [00K8]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Lemma 3.4.
The homomorphism of inclusion of -algebras induces a continuous map between topological spaces which is closed. Moreover, the map is injective.