Let \(X\) be a topological space and \(A\subseteq X\). A point is in \(\Int A\) if and only if it has a neighbourhood contained in \(A\).

Proof
This is an immediate consequence of the definition of the interior .