Mengen/Relation/Isomorphismus/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Isomorphismus (Relation)

Es seien und Mengen mit Relationen. Eine relationserhaltende Abbildung

heißt Isomorphismus, wenn es eine relationserhaltende Abbildung

derart gibt, dass

und

gilt.