ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3101 on R1149: Every point in open set is an interior point
P3101
This result is a particular case of R4541: Open set is its own interior. $\square$