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: