Need verification of a proof please
Question
Let be the set of all interior points of a set .
Prove is always open
Proof
Consider . a neighborhood of such that
This is an open set, so a neighborhood of so
So consists of interior points of , so is open.
QED
Proof correct? Any alternatives or ways to make it cleaner/more elegant?