Topologische Strukturbeschreibung des Trennungsaxioms (wie das Axiomensystem T0-T4)