Daher ist entweder der Definitions- oder der Wertebereich von R ganz A bzw. ganz B. Damit ist dann R entweder eine Isomorphie zwischen A und einem Anfangsabschnitt von B, oder zwischen einem Anfangsabschnitt von A und B. ==Beweisskizze des Satzes für beliebige Mengen== Seien M und N beliebige Mengen. Nach dem Wohlordnungssatz gibt es auf M und N ...