Start=Topologie der kompakten Konvergenz
Ziel=Topologischer Raum/Kompakte Ausschöpfung/K-wertige Funktionen/Kompakte Konvergenz/Topologie/Definition
