Mengenoperatoren

a + b Vereinigung zweier Mengen.

a - b Differenz: Die Menge aller Elemente aus a abzüglich aller Elemente aus b.

a * b Die Schnittmenge aus a und b.

a / b Symmetrische Differenz: Die Vereinigung abzüglich der Schnittmenge.

a = b Test, ob beide Mengen identisch sind.

a # b Test, ob beide Mengen ungleich sind.

a <= b Test, ob a eine Teilmenge von b ist.

a >= b Test, ob b eine Teilmenge von a ist.

x IN a Test auf Mitgliedschaft, wobei x kompatibel zu dem Basistyp von a sein muß.

INCL(a, x) Entspricht a := a + {x}.

EXCL(a, x) Entspricht a := a - {x}.

Hinweis: Bei Mengentypen entsprechen Kompatibilität und Zuweisungskompatibilität der Identität. Die Kompatibilität der Basistypen überträgt sich also nicht auf Mengentypen, die davon abgeleitet werden.


`a + b`	Vereinigung zweier Mengen.
`a - b`	Differenz: Die Menge aller Elemente aus a abzüglich aller Elemente aus b.
`a * b`	Die Schnittmenge aus a und b.
`a / b`	Symmetrische Differenz: Die Vereinigung abzüglich der Schnittmenge.

`a = b`	Test, ob beide Mengen identisch sind.
`a # b`	Test, ob beide Mengen ungleich sind.
`a <= b`	Test, ob a eine Teilmenge von b ist.
`a >= b`	Test, ob b eine Teilmenge von a ist.

`x IN a`	Test auf Mitgliedschaft, wobei x kompatibel zu dem Basistyp von a sein muß.

`INCL(a, x)`	Entspricht `a := a + {x}`.
`EXCL(a, x)`	Entspricht `a := a - {x}`.