Definition: A set $A$ is open if, for all $\x \in A$, there exists $N(\x) \subset A$.