Ich hab hier in einem Buch folgendes stehen (zum Hüllenoperator):
Es sei A eine Menge. Eine totale Funktion heißt Hüllenoperator über wenn sie die Eigenschaften der
Einbettung, . Monotonie, . und Abgeschlossenheit, . besitzt. Ist zum Beispiel eine reflexive und transitive Relation, so ist durch =(def) es existiert ein mit ein Hüllenoperator über A definiert.
Meine Frage ist folgende. Wenn ich also . sage: und
und ich würde das einsetzen, dann kommt raus: da nur die sein kann.
Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |