Jedes Objekt wird beschrieben durch einen binären Baum, dessen
Blätter beschriftet sind mit Elementarobjekten und dessen innere Knoten
beschriftet sind mit den Mengenoperationen 
(Vereinigung),
(Durchschnitt), 
(Differenz).
bezeichnet das folgende Objekt:
