Beta Phase: Square45 is currently in beta testing. Expect some features or content to be incomplete or missing.
45

Closure operator definition

An operator that assigns to a set its closure, the smallest closed set containing it.
📜

The statement of the theorem

The closure A\overline{A} is the intersection of all closed sets containing AA.