Symbole der Mengenlehre

Da Mengen für sich genommen relativ langweilig sind, haben sich durchaus schlaue Mathematiker überlegt, triviale Operationen mit Mengen vorzunehmen, getarnt mit nichtlesbaren und schon gar nicht merkbaren Rechenzeichen.“ [Fan08, S. 5]

 

Wie man die Mengenoperationen benennt, wird hier dargestellt.

 

M ist leer: [image]

 

 

x ist in M enthalten: [image]

 

x ist nicht in M enthalten: [image]

 

 

M ist Teilmenge von N: [image]

 

Definition: Für alle [image] gilt [image]

 

 

M ist echte Teilmenge von N: [image]

 

Definition: [image] und es gibt [image] mit [image]

 

 

N ist Obermenge von M: [image]

 

 

N ist echte Obermenge von M: [image]

 

 

M ist dasselbe wie N: [image]

 

 

Definition: [image] und [image]

 

 

M vereinigt N: [image]

 

Definition: [image]

 

 

M geschnitten N: [image]

 

 

M und N sind disjunkt: [image]

 

 

M ohne N: [image]

 

Definition: [image]

 

 

Symmetrische Differenz: [image]

 

Definition: [image]

 

[image]