⊊ (Echte Teilmenge): Bedeutung, Unicode und Anwendung des Symbols

Das Unicode-Zeichen ⊊ (U+228A) steht in der Mathematik für eine „echte Teilmenge“. Es kombiniert das reguläre Teilmengen-Symbol mit einem durchgestrichenen Gleichheitszeichen, um visuell klarzumachen: Eine Menge A ist komplett in einer Menge B enthalten, aber beide Mengen sind absolut nicht identisch.

In der Mengenlehre, einem zentralen Gebiet der Mathematik, gibt es oft Verwirrung um das einfache Teilmengen-Symbol (⊂). Manche Mathematiker nutzen ⊂ für jede Art von Teilmenge, während andere es nur für echte Teilmengen verwenden. Um genau diese Missverständnisse auszuschließen, wurde das Zeichen ⊊ eingeführt. Der Strich durch das Gleichheitszeichen räumt jeden Zweifel aus und signalisiert unmissverständlich: „Hier gibt es keine Gleichheit.“

Auf technischer Ebene findest du das Symbol ⊊ im Unicode-Standard unter dem Code Point U+228A. Es gehört zum Block „Mathematische Operatoren“ (Mathematical Operators). Der offizielle englische Unicode-Name lautet „SUBSET OF WITH NOT EQUAL TO“.

Wie wird das Zeichen verwendet? Im Alltag begegnet dir das Symbol ⊊ vor allem in wissenschaftlichen Texten, in der Mathematik und in der Informatik, wenn es um Mengenlehre, Logik oder relationale Datenbanken geht. In der Programmierung und Typografie (insbesondere beim Schriftsatzsystem LaTeX) ist es ein Standardzeichen für formale Beweise. Auf Social Media oder in Messaging-Apps wie WhatsApp taucht es eher selten im mathematischen Kontext auf – es sei denn, du bist in Mathe-Foren unterwegs oder jemand nutzt das Zeichen kreativ als Teil eines Kaomojis (japanisches Text-Emoticon), um ein abstraktes Auge darzustellen.

Wenn du das Zeichen ⊊ selbst tippen möchtest, hast du verschiedene Möglichkeiten, da es auf herkömmlichen Tastaturen keine eigene Taste dafür gibt. Unter Windows kannst du es in Programmen wie Word über die Eingabe von „228A“ gefolgt von der Tastenkombination „Alt + C“ (oder „Alt + X“) erzeugen. Auf einem Mac drückst du „Control + Command + Leertaste“, um die Zeichenübersicht zu öffnen, und suchst einfach nach dem Begriff „subset“. Programmierst du fürs Web? In HTML kannst du das Symbol mit der Entität „⊊“ oder dem Code „⊊“ einfügen.

Es gibt einige verwandte Symbole, die man leicht verwechseln kann. Das einfache Teilmengen-Symbol ⊂ (U+2282) und das „Teilmenge oder gleich“-Symbol ⊆ (U+2286) sind die bekanntesten. Wenn du die inhaltliche Richtung umkehrst, erhältst du das Obermengen-Symbol ⊋ (U+228B, „echte Obermenge“). Alle diese Zeichen bilden zusammen das Basisvokabular, um Beziehungen zwischen verschiedenen Gruppen präzise und eindeutig zu beschreiben.