(12-17-2023, 08:48 AM)vfr-racer schrieb: Laut Regel 3, gibt es eine Abbildungsvorschrift von x,y auf z. Mit ist nicht klar, wie diese Vorschrift anzuwenden ist, wenn das ganze auf vier Schafe erweitert wird. Wenn es für bereits eine Regel gibt z.B. x=scharz, y=weiß, z=braun und es nun eine vierte Art (rot) gibt, erstelle ich dann eine zweite Regel z.B. x=rot, y=weiß, z=schwarz? Was ist aber mit den anderen Kombinationen z.B. x=braun, y=weiß etc. In dem Beispiel mit drei Schafen, gab es ja auch nicht alle Kombinationen, sondern z konnte nur braun sein (und nicht weiß oder schwarz). Heißt das, dass der Wertebereich von z bereits auf braun beschränkt ist und die Anwendung einer zweiten Regel diesen Wertebereich schon als gegeben hinnehmen muss oder wird der Wertebereich dann erweitert? Kann es bei vier Schafsarten auch mehr als zwei Abbildungsvorschriften geben?
Für alle Paare x,y brauchst du ein z, sodass die Regel 3 erfüllt ist. In dem Beispiel war z nur zufälligerweise immer braun. z kann natürlich auch jede andere Schafsart sein.
Es gibt daher nur eine Abbildungsvorschrift.