Sei \( R \) eine Relation in \(X\). Dann gilt:
\(R\) ist eine transitive Relation \( \Rightarrow (\forall Y \subseteq X) (R \upharpoonright Y\) ist eine transitive Relation \()\).
Ich soll die obere Aufgabe beweisen. Meiner Meinung nach ist aber diese Aussage falsch, denn ich kann mir vorstellen, dass z.B. \( (x,y),(y,z) \in Y \) und \( (x,z) \not \in Y \).
Habe ich Recht?