Hallo,
gesucht ist doch eine Äquivalenzrelation auf also eine Teilmenge aus . In dieser Teilmenge liegt dann . das Paar oder eben nicht, das ist das Wesen einer Relation ganz allgemein. Und damit ist auch klar, dass gelten muss. Und jetzt überlege Dir mal, wie und aussehen könnten, dass das eine Rolle spielt bei der Zugehörigkeit von zu bzw. uz, vz zu bei BELIEBIGEM .
Tipp: Betrache ab. Das sind die kürzesten Spezialfälle (vom leeren Wort abgesehen), die es bzgl. dem Vorhandensein von a und/oder gibt:
enthält a aber nicht enthält aber nicht a enthält weder a noch enthält sowohl a als auch
|