Nehmen wir an, wir haben eine Menge A, welche aus einer beliebigen Anzahl Tupeln mit jeweils einer beliebigen Anzahl an Komponenten besteht. Die Komponenten können jedoch zwischen den einzelnen Tupeln durchaus gleich sein. Wie kann man aus dieser Menge nun formell eine Menge B bauen, in welcher nur Tupel mit einzigartigen Elementen vorhanden sind?
Zur Veranschaulichung, nehmen wir an, wir haben die folgende Menge A:
Das dritte Tupel hat genauso wie das zweite Tupel die 4 als Komponente. Wie kann man allgemein, zum Beispiel in intensionaler Schreibweise, daraus die Menge B bauen, sodass in diesem Beispiel
oder auch (ist für den eigentlichen Anwendungszweck egal):
?
Ich hoffe, es ist verständlich, worauf ich hinaus will. Ich hab versucht, mir da in intensionaler Schreibweise irgendwas zu reimen, hab aber einen Knoten im Kopf. Ich hatte irgendwas stehen mit:
aber das sieht mir irgendwie nicht richtig aus. Ich will quasi ausdrücken "Nehme jedes Element ai aus A, wobei xj Element/Komponente in ai ist und xj nicht in ai-1, ai-2, ..., ai-n vorhanden ist.