Mengen/Relation/Isomorphismus/Definition

Isomorphismus (Relation)

Es seien und Mengen mit Relationen. Eine relationserhaltende Abbildung

heißt Isomorphismus, wenn es eine relationserhaltende Abbildung

derart gibt, dass

und

gilt.