Local Criterion for Openness

Lemma

Lemma. Let $(X,\tau )$ be a topological space. A subset $A$ is open in $X$ if and only if for every $p\in A$, there exists an open set $V$ such that $p\in V\subset A$.

References

@Tu11 Lemma A.2