Topologie/Grundbegriffe/Kompaktheit/Überdeckungskompakt/Definition/Begriff