Definition: Isomorph
Eine Abbildung f heißt isomorph, wenn sie bijektiv und linear ist.
(entspricht Umbenennung der Elemente)
Es gilt für