Verifikation topologischer Eigenschaften abgeschlossener Mengen (z. B. Äquivalenz stetiger Abbildungen)