[!Proposition]
Let . are open in , is closed in