$U$ ist eine offene Umgebung von $a$ =Df $U$ ist offen und $a\in U.$

$U$ ist eine Umgebung von $a$ =Df Es gibt eine offene Menge $U^{\prime }\subseteq IM$ mit $a\in U^{\prime }$ und $U^{\prime }\subseteq U$.