Folgerungen aus der Eigenschaft LEER(menge)

Wie in der LB zur AG02965 beschrieben, ist fr das Erflltsein der Eigenschaft LEER(menge) vereinbart, 
dass menge = {} gilt. Im Source gibt es die ausgezeichnete Menge C_MENGE_LEER, welche als einzige das
Prdikat LEER() erfllt (Analogie ist NULL in Datenbanken). ZZ. fhren Mengenoperationen mit der Menge
C_MENGE_LEER aufgrund unterschiedlicher Grundgesamtheiten zu Fehlern.

Das Refactoring soll die Mengen-Operationen mit der C_MENGE_LEER nach obiger Vereinbarung
ermglichen:

enthaltensein:      x in C_MENGE_LEER => false (sollte bereits funktionieren)
Element hinzufgen: C_MENGE_LEER + {x} -> C_MENGE_LEER

vereinigung:        C_MENGE_LEER + Menge = Menge + C_MENGE_LEER = Menge
differenz:          Menge - C_MENGE_LEER = Menge, C_MENGE_LEER - Menge = {}
schnitt:            C_MENGE_LEER * Menge = Menge * C_MENGE_LEER = {}

Mengenfunktionen werden zZ im Modul mtools und in der Klasse Menge bereitgestellt. Hier sollte die
Funktionalitt in der Klasse Menge zusammengefasst werden und die Methoden um die Bercksichtigung
der Menge C_MENGE_LEER erweitert werden.






