16Unerheblich ist dabei, ob die Menge der Körperelemente r durch eine Restklassenoperation oder irgendeine andere Methode definiert wird. Bei gleicher Anzahl von Elementen kann man solche Mengen nämlich immer (strukturerhaltend, eineindeutig) aufeinander abbilden [PW72, 6.5].

@