Das ⊆ Symbol (Teilmenge von oder gleich): Bedeutung, Herkunft und Nutzung
Das Symbol ⊆ (Unicode U+2286) steht in der Mathematik für „ist Teilmenge von oder gleich“. Es wird in der Mengenlehre verwendet, um auszudrücken, dass alle Elemente einer Menge A auch in einer Menge B enthalten sind, wobei beide Mengen auch völlig identisch sein können. Wenn du also schreibst A ⊆ B, sagst du damit aus: Jedes Element aus A taucht auch in B auf, und es ist absolut möglich, dass A und B exakt denselben Inhalt haben.
Die grundlegende Mengenlehre wurde Ende des 19. Jahrhunderts von Georg Cantor entwickelt, und die dazugehörigen Symbole haben sich seitdem als weltweiter Standard etabliert. Interessanterweise gibt es in der Mathematik manchmal leicht abweichende Schreibweisen: Einige ältere Lehrbücher nutzen das einfache ⊂ für jede Art von Teilmenge. Um jedoch jegliche Missverständnisse auszuschließen, greifen Wissenschaftler heute bevorzugt auf das absolut eindeutige ⊆ zurück. Das Zeichen kombiniert das klassische Teilmengen-Symbol (⊂) mit einem Unterstrich, der an das Gleichheitszeichen (=) angelehnt ist. Genau wie bei ≤ (kleiner oder gleich) zeigt dieser Strich an, dass die exakte Gleichheit eine gültige Option ist.
Im offiziellen Unicode-Standard ist das Zeichen unter dem Codepoint U+2286 zu finden. Es gehört fest zum Unicode-Block „Mathematische Operatoren“ (Mathematical Operators), der die wichtigsten Symbole für wissenschaftliche, technische und logische Texte bündelt.
In der Mathematik und theoretischen Informatik ist ⊆ ein unverzichtbares Werkzeug für formale Logik und Beweise. Programmierer treffen auf dieses Konzept, wenn sie mit Datenstrukturen wie „Sets“ (Mengen) arbeiten. In Programmiersprachen wie Python wird das Konzept jedoch meist durch Befehle wie `issubset()` oder den Operator `<=` abgebildet, statt das eigentliche Unicode-Zeichen zu verwenden. Auf Plattformen wie Instagram, TikTok oder X (früher Twitter) wirst du dieses Zeichen hingegen kaum im Alltag sehen – es sei denn, du tauschst dich mit Freunden über die nächste Mathe-Klausur aus.
Das Eintippen von ⊆ erfordert je nach Gerät einen kleinen Trick. Unter Windows kannst du die [Alt]-Taste gedrückt halten und auf dem Ziffernblock 8838 eingeben. Auf einem Mac nutzt du am besten die Zeichenübersicht (Control + Command + Leertaste) und suchst nach „Teilmenge“. Schreibst du eine Webseite in HTML, sorgt der Code `⊆` oder `⊆` dafür, dass der Browser das Zeichen korrekt darstellt. Wer wissenschaftliche Texte in LaTeX verfasst, erzeugt es ganz elegant mit dem Befehl `\subseteq`.
Das Symbol hat einige enge Verwandte, die du kennen solltest. Das bereits erwähnte ⊂ (U+2282) steht streng genommen für eine „echte Teilmenge“, bei der die Mengen eben nicht identisch sein dürfen. Das direkte Gegenteil von ⊆ ist ⊈ (U+2288), was bedeutet, dass eine Menge keine Teilmenge einer anderen ist. Wenn du die Öffnung des Symbols umkehrst, erhältst du ⊇ (U+2287) – das Zeichen für „Obermenge von oder gleich“.