¹d.h. der Abschluß der Menge ist kompakt