Let be a \reftext{def:metric-space-2026a}{metric space}, and let . We say that is open in the metric space if for every point there exists a real number such that
where is the \reftext{def:open-ball-metric-space-2026a}{open ball} with center and radius .
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
Authors
Loading…