Prädikat formal definieren

Guten Tag!
ich hätte folgende Aufgabe:

Ein Freund meinte so vielleicht

Ich hätte das als Lösung

Hallo,
Deine Variante ist richtig. Oben fehlt die Existenz, d.h. falls (x,x) \in R, dann ist es das einzige.