Teilmenge

Die mathematischen Begriffe Teilmenge und Obermenge beschreiben eine Beziehung zwischen zwei Mengen. Ein anderes Wort für Teilmenge ist Untermenge. Für die mathematische Abbildung der Einbettung einer Teilmenge in ihre Grundmenge, die mathematische Funktion der Teilmengenbeziehung, wird die Inklusionsabbildung verwendet. ist eine Teilmenge von und ist eine Obermenge von , wenn jedes Element von auch in enthalten ist. Wenn zudem weitere Elemente enthält, die nicht in enthalten sind, so ist eine echte Teilmenge von und ist eine echte Obermenge von .Die Menge aller Teilmengen einer gegebenen Menge heißt die Potenzmenge von . Den Begriff Teilmenge prägte Georg Cantor – der „Erfinder“ der Mengenlehre – ab 1884; das Symbol der Teilmengenrelation wurde von Ernst Schröder 1890 in seiner „Algebra der Logik“ eingeführt.