Unerheblich ist dabei, ob die Menge der Körperelemente
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]. @