Definition und Eigenschaften kompakter Mengen (wie die Kompaktheit der Schließungsbildung)