Beweise Fakt mit Hilfe von Aufgabe und Aufgabe und mit geeigneten Charakterisierungen von relationstheoretischen Eigenschaften mit Vorgängermengen.