Kapitel II, §7
Zu den Mengen A und T kommt also nach 1o eine Abbildung
Die
Eigenschaft 2o in 7.1 ist gleichbedeutend mit: tP ist bijektiv.
mit
der zusätzlichen Eigenschaft 2o.
Für
jeden festen Punkt P aus erhalten wir die Abbildung
(7.2)
Bemerkung: Äquivalent
zu der in 7.1 beschriebenen Struktur ist die Vorgabe von zwei Mengen A und T mit einer Abbildung
für
die tP bijektiv ist für alle P
aus A.
(7.3) Beispiele:
1o Alle Modelle mit 2 Punkten:
