Das ist doch gar keine Relation.
Dazu muss definiert werden, welche Paare (a|b) dazu gehören,
vermutlich muss mit dem (a-b)/4 irgendwas sein
also das Ergebnis =0 oder das Ergebnis eine natürliche Zahl
oder eine ganze Zahl oder sowas.
Ich nehme mal das letzte an:
Dann wäre es symmetrisch; denn wenn (a-b)/4 eine ganze Zahl ist,
dann auch (b-a) / 4 .