Die Relation ist antisymmetrisch:
(n,m)∈R∧(m,n)∈R ⇒ m=n ∀n,m∈ℕ
Das liegt daran, dass die Prämisse (n,m)∈R∧(m,n)∈R für keine Belegung von n und m wahr ist. Dann kommt es nicht mehr auf den Wahrheitesgehalt der Konklusion an, damit die Schlussfolgerung als Ganzes wahr ist.
Gib für die anderen Eigenschaft Beispiele an, die zeigen warum die Eigenschaft nicht gilt.