Mengenausdruck mit Bäumen

Question

Hey zusammen! Zu dieser Aufgabe habe ich mehrere Fragen:

so, nun erst mal zu (a): Laut der Definition wissen wir ja, dass B₁ bzw. t₁ in seiner Qualitätsstufe (t₀) enthalten. Doch wie schreibe ich das aus? {{()}}? Somit hätte man ja nur ein Element bzw. ein Baum

Answer 1

Ich würde es jetzt so verstehen, dass

B₁={((),())} und

B₂={((),((),())), (((),()),()), (((),()),((),()))}

ist. Ein Baum ist ja immer ein Tupel, die geschweiften Klammern (also Mengen) sollte immer nur draußen rum sein.