Topologischer Raum/Folgenkompakt/Definition