a b c d
e f g h(Ƒ)
Wenn ich zwei Viererklassen habe so könnte ich sagen: [d|D]aß diese Klasse gleichzahlig ist kann ich zeigen weil es moglich ist die Namen in Paare zusammen zu fassen so daß die eine 1–1 Relation zwischen den Klassen etablieren.
  Ich kann also etwa Schreiben a e, b f, e g, d h. Diese Möglichkeit des Zusammenfassung der Namen beweist natürlich etwas über die Klassen (nämlich ihre Gleichzahligkeit) Und genau dasselbe beweist auch die mögliche Zusammenfassung durch Identitäten (a = x ∙ y = e etc)