Kurs:Kommutative Algebra/Kommutative Ringtheorie/Multiplikatives System/Paare/Äquivalenzrelation/Wohldefiniertheit/Fakt/Faktreferenznummer