Die Gleichung \(m=2\) ist ja auch nicht die Relation, sondern die Menge \(R\subseteq \mathbb{Z}^2\). Mit reflexiv und symmetrisch hast du recht, allerdings ist \(R\) transitiv. Zur Begründung solltest du in den ersten Beiden Fällen ein Gegenbeispiel nennen, Existenzaussagen müsstest du nämlich beweisen. Der Beweis für die Transitivität sähe etwa so aus: \(aRb \wedge bRc \Rightarrow 2R2 \wedge 2Rc \Rightarrow 2Rc\)