Guten Tag, ich habe leider ein kleines Problem mit der Definition von Familien und zwar:
Seien I, X Mengen und f: I -> X eine Abbildung, dann nennen wir f auch Familie. Wir schreiben:
Mein Problem ist nun, dass die Familie ja letztendlich ein n-Tupel ist (n = | I |), wobei die Funktion nach unsere Definition eine Teilmenge des Kartesischen Produkts I x X ist. Das würde ja für eine Menge aus Paaren sprechen. Mir ist mehr oder weniger klar, dass man das so darstellen kann, aber mir kommt es dennoch etwas "unsauber" vor und ich bin auch etwas verunsichert ob ich eventuell einem groben Denkfehler unterliege. Kann von euch vielleicht jemand etwas Licht ins Dunkel bringen?
Über Antworten freue ich mich sehr!