Kurs:Lineare Algebra (Osnabrück 2015-2016)/Ganze Zahlen/Als Quotientenmenge/Wohldefiniertheit der Verknüpfungen/Aufgabe/Aufgabereferenznummer