Eine Begründe wäre eventuell zu sagen, dass T in M sein kann aber nicht in N,
dass T in N sein kann und nicht in M, oder, dass T nicht im Schnittpunkt
von M und N liegt.
Aber ob ich damit richtig liege, weis ich nicht. Bezüglich der Umformung
ist ja alles korrekt, jedoch verstehe ich nicht, warum die Äquivalenzkette
unterbrochen sein soll.
Die Gleichheitszeichen sollen Äquivalenzzeichen sein, und da habe ich
wie du bemerkt hast noch ein Vereinigungszeichen vergessen :-)