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