Komplement einer transitiven zweistelligen Relation auch transitiv?
Aufgabe:
Es sei M eine Menge, R ⊆ M × M eine zweistellige Relation auf M. R ̄ist Komplement(M × M) \ R.
Folgt aus der Transitivität von R stets die Transitivität von R ̄? Geben Sie einen Beweis oder ein Gegenbeispiel.
Problem/Ansatz:
Nach einigem Rumprobieren mit konkreten Beispielen würde ich sagen, dass R ̄auch transitiv ist (wobei ich mir nicht zu 100% sicher bin).
Wie formuliere ich den Beweis?