Das ⊈-Symbol (Keine Teilmenge): Bedeutung und Anwendung

Das Symbol ⊈ (Unicode: U+2288) stammt aus der mathematischen Mengenlehre und bedeutet „ist weder eine Teilmenge von noch gleich“. Wenn du zwei Mengen vergleichst und die erste Elemente enthält, die nicht in der zweiten vorkommen, nutzt du genau dieses durchgestrichene Zeichen. Ein einfaches Beispiel: Wenn Menge A die Zahlen {1, 2, 3} enthält und Menge B die Zahlen {2, 3, 4}, dann gilt A ⊈ B. Es ist die exakte mathematische Verneinung des Symbols ⊆.

Historisch gesehen entwickelte sich die formale Schreibweise der Mengenlehre ab dem späten 19. Jahrhundert, vorangetrieben durch Mathematiker wie Georg Cantor. Um komplexe logische Beziehungen präzise und platzsparend zu notieren, wurde ein eigenes Alphabet an Operatoren erschaffen. Der Schrägstrich durch ein mathematisches Symbol ist dabei die universelle Sprache für „nicht“. Im Unicode-Standard hat das ⊈-Zeichen sein Zuhause unter dem Codepoint U+2288 im Block „Mathematische Operatoren“. Sein offizieller englischer Name lautet entsprechend „Neither A Subset Of Nor Equal To“.

Im Alltag abseits der Universität oder Schule triffst du das ⊈-Symbol eher selten an. In der Mathematik und Informatik ist es jedoch unverzichtbar, um Beziehungen zwischen Datenstrukturen logisch einwandfrei zu definieren. Auf Social Media oder in Chats taucht es höchstens in kreativen Text-Kaomojis oder bei Mathe-Nerd-Witzen auf. In der Programmierung und in Textsatz-Systemen wie LaTeX wird es dagegen häufig benötigt; dort erzeugst du es mit dem Befehl `\nsubseteq`.

Wie tippst du ⊈ auf deiner Tastatur? Am einfachsten ist meistens das gute alte Copy-and-Paste direkt aus Artikeln wie diesem. Wenn du eine Webseite baust und HTML schreibst, kannst du das Zeichen mit `⊈` oder `⊈` einfügen. Auf Windows-Rechnern funktioniert in einigen Programmen die Tastenkombination über den Nummernblock, oder du kopierst es einfach aus der vorinstallierten Zeichentabelle. Am Mac drückst du Ctrl + Cmd + Leertaste, um die Zeichenübersicht zu öffnen, und suchst nach dem englischen Unicode-Namen.

Es gibt einige verwandte Zeichen, die du leicht verwechseln kannst. Das Basis-Symbol ist ⊆ (Teilmenge oder gleich). Lässt man den unteren Strich weg, erhält man ⊂ (echte Teilmenge). Die einfache Verneinung davon ist ⊄ (keine Teilmenge). Das ⊈ ist also die ganz spezifische Verneinung für den Fall, dass du ausdrücklich betonen willst: „Diese Menge ist definitiv keine Teilmenge und auch nicht identisch mit der anderen!“