Extended Metric Space

Last updated Nov 1, 2022

An Extended Metric Space is a Set $M$ equipped with an Extended Distance Function $d: M \times M \to \overline{\mathbb{R}_{\geq0}}$.