Point in Metric Space is Element of its Neighborhood

From ProofWiki
Jump to navigation Jump to search

Theorem

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

Let $a \in A$ be a point in $M$.

Let $N$ be a neighborhood of $a$ in $M$.


Then $a \in N$.


Proof

Trivially follows by definition of neighborhood of $a$.

$\blacksquare$


Sources