Definition. (Häufungspunkt) Es sei M IM und a IM. a ist ein Häufungspunkt von M =Df

In jeder Umgebung von a liegt noch wenigstens ein von a verschiedener Punkt aus M.