Kapitel II, §7
Sei A = {P,Q}. Dann ist T = {v,w}.
2o Die Beispiele 5.2.1o und 5.2.2o.
Modell 1: t(P,P) = t(Q,Q) = v
t(P,Q) = t(Q,P) = w
Modell 2: t(P,P) = t(Q,P) = v
t(P,Q) = t(Q,Q) = w
w
w
v
v
P
Q
w
v
v
w
P
Q
Die
Abbildung zusammen mit der Eigenschaft 2o
induziert
in natürlicher Weise eine Abbildung
durch die
folgende Festlegung: g(P,v) ist derjenige Punkt Q aus A, der t(P,Q) erfüllt.
Q = g(P,v)
P
v = t(P,Q)
