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