Alles über das ⊄-Symbol (Keine Teilmenge von)

Das Symbol ⊄ bedeutet in der Mathematik „keine Teilmenge von“. Es wird in der Mengenlehre verwendet, um auszudrücken, dass nicht alle Elemente einer ersten Menge auch in einer zweiten Menge enthalten sind. Hast du zum Beispiel die Mengen A={1, 2} und B={2, 3}, schreibst du A ⊄ B. Die Begründung dafür ist simpel: Die Zahl 1 kommt zwar in Menge A, aber nicht in Menge B vor.

Die Grundlagen der modernen Mengenlehre wurden Ende des 19. Jahrhunderts von dem Mathematiker Georg Cantor entwickelt. Das einfache Teilmengen-Symbol (⊂), auf dem das ⊄ aufbaut, geht historisch auf den italienischen Mathematiker Giuseppe Peano zurück. Der diagonale Querstrich im ⊄-Zeichen folgt einer universellen Regel der mathematischen Logik: Ein durchgestrichenes Symbol negiert immer dessen ursprüngliche Bedeutung. Du kennst dieses Prinzip sicherlich schon vom Gleich- und Ungleich-Zeichen (= und ≠).

Im offiziellen Unicode-Standard ist das Symbol unter dem englischen Namen „NOT A SUBSET OF“ registriert. Es trägt den Code-Point U+2284 und befindet sich im Unicode-Block „Mathematische Operatoren“ (Mathematical Operators).

Ursprünglich fand man das ⊄-Zeichen fast ausschließlich in Mathe-Büchern oder universitären Skripten. In der modernen Programmierung und Informatik begegnet dir das zugrundeliegende Konzept aber ebenfalls häufig, etwa bei der Arbeit mit relationalen Datenbanken (SQL) oder bei der Mengenüberprüfung in Sprachen wie Python. Auf Social-Media-Plattformen wie Reddit oder X (früher Twitter) nutzen Studierende und Nerds das Zeichen gerne für smarte Wortspiele. Ein Satz wie „Mein Kontostand ⊄ Reichtum“ bringt die trockene Mathematik auf humorvolle Weise direkt in den Alltag.

Wie bekommst du das ⊄ auf deinen Bildschirm? Am Windows-PC nutzt du am besten den Alt-Code: Halte die Alt-Taste gedrückt und tippe 8836 auf dem Ziffernblock. Auf dem Mac öffnest du die Zeichenübersicht mit der Tastenkombination Ctrl + Cmd + Leertaste und suchst nach dem Begriff „subset“. Wenn du Webseiten baust, schreibst du in HTML einfach `⊄` oder nutzt das Entity `⊄`. In LaTeX-Dokumenten erzeugst du das Zeichen mit dem Befehl `\not\subset` oder `\nsubset`. Auf dem Smartphone ist es am einfachsten, das Symbol direkt aus dem Browser zu kopieren und in deinen Text einzufügen.

Verwandte Zeichen helfen dir, das mathematische Vokabular zu vervollständigen. Das Gegenteil von ⊄ ist das reguläre Teilmengen-Symbol ⊂ (U+2282). Wenn eine Menge alle Elemente einer anderen enthält, spricht man von einer Obermenge, dargestellt durch das Symbol ⊃ (U+2283). Geht es nur um ein einzelnes Element und nicht um eine ganze Menge, nutzt du das Element-von-Zeichen ∈ (U+2208).