Wie weise ich bei der folgenden Relation die Antisymmetrie nach?

Question

Aufgabe: Weisen Sie die Eigenschaften einer Halbordnung bei der folgenden Relation nach:                                      f (verkettet mit) g :⇔ ∃h:ℕ→ℕ: f=g (verkettet mit) h

mit f,g:ℕ→ℕ.

Problem/Ansatz: Ich hänge beim Nachweis der Antisymmetrie fest... Könnte mir hier vielleicht jemand helfen?

Comments

Du verwendest "verkettet" zweimal, aber doch in unterschiedlichen Bedeutungen. Vielleicht kannst Du das mal richtig angeben.