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