Let \(X\) be topological space and \(A\subseteq X\). Then \(\Int A\) is an open set , since it is a union of open sets.

See also Link to heading