Topologie/Grundbegriffe/Kompaktheit/Überdeckungskompakt/Definition

Kompakt (Überdeckungskompakt)

Ein topologischer Raum heißt kompakt (oder überdeckungskompakt), wenn es zu jeder offenen Überdeckung

eine endliche Teilmenge derart gibt, dass

ist.