Formale Definition einer Mengenoperation

Question

es gibt eine Aufgabe in der ich eine formale Definition für eine Mengenoperation erstellen soll. Die Operation lautet:

|>:M_a | > M_b  ist genau die Menge, die alle Elemente von M_a enthält, die größer sind als alle Elemente von M_{b .}

Meine Lösung dazu sieht wie folgt aus:

∀_x ∈ M_a :| > ∀ y ∈ M_b 

Ist das so richtig oder muss da noch etwas von der Paarbildung (x,y) stehen?

Answer 1

Fehlt da nicht was von Mengenbildung, etwa so :

=  { x ∈ M_a |   x > y   ∀ y ∈ M_b  }

Comments

Danke, das ist schon mal hilfreich! Mich verwirrt nur, wie es im Buch beschrieben ist, da steht eine etwas andere Notation, wie z.B. für die bijektive Operation:

∀_y ∈ M: | {x₁ , x₂} | x_{1 ,} x₂ ∈ M und Op(x_{1 ,} x₂) = y}| = 1

Fehlen da jetzt noch Angaben, damit es formal korrekt beschrieben ist?

---

Das kenne ich so nicht.