The boundary of a subset of a metric space is its closure minus its interior.
In the setting of Routine Facts, Continued: Typed Arithmetic, Maps and Predicativity, let be a metric space and let , with closure and interior .
Boundary. The boundary of is the subset of
Loading…
No relations recorded yet.