Hallo
am Anfang wird doch G definiert! als die Menge der geraden Zahlen.
du sagst "aber es ist nicht definiert, dass ich nur gerade Zahlen subtrahieren darf" doch genau das wird gesagt!
Denn es wird gefragt ob die Subtraktion auf G (NICHT AUF Z) eine Verknüpfung ist also ob 2m-2n wieder gerade ist, bzw, durch 2 teilbar. und wegen des Assotiativgesetzes bei ganzen zahlen weiss man 2m-2n=2(m-n) da m- ganz ist ist 2(m-n)=2*z wieder durch 2 teilbar.
Gruß lul