Teilmenge von

Entscheidend ist, welche Notation der Autor verwendet. Nach strenger Konvention bedeutet A ⊂ B eine echte Teilmenge: Jedes Element von A liegt in B, und B enthält mindestens ein Element außerhalb von A. In inklusiver Konvention dürfen A und B identisch sein. Eine klare Option zur Vermeidung von Unklarheiten ist ⊆ für erlaubte Gleichheit und ⊊ für deren Ausschluss.

Ernst Schröder führte ⊂ 1890 in seinen Arbeiten zur Logik für die „Unterordnung“ ein—den Gedanken, dass eine Klasse vollständig in einer anderen enthalten ist. Die Konventionen variieren selbst an deutschen Universitäten: Manche Vorlesungen nutzen ⊂ strikt für echte Teilmengen, während andere ⊂ inklusiv verwenden und Gleichheit erlauben.