Metric Space is T4/Proof 2

Theorem

Let $M = \struct {A, d}$ be a metric space.

Then $M$ is a $T_4$ space.


Proof

We have that a metric space is fully $T_4$.

Then we have that a fully $T_4$ space is $T_4$.

$\blacksquare$

This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.