Eine Teilmenge ist eine Menge, die in einer anderen Menge enthalten ist. Wenn die Menge A = {1, 2} und die Menge B = {1, 2, 3, 4} ist, dann ist A eine Teilmenge von B. Jede Menge ist eine Teilmenge von sich selbst. Die leere Menge ist eine Teilmenge jeder Menge.

Eine echte Teilmenge ist eine Teilmenge, die nicht mit der ursprünglichen Menge übereinstimmt. A hat 2 Elemente; B hat 4 Elemente. Da A ≠ B, ist A eine echte Teilmenge von B. Die Anzahl der Teilmengen einer Menge mit n Elementen ist 2^n.

Teilmengen spielen in der Mengenlehre, der Logik und der Informatik eine Rolle. In der Wahrscheinlichkeitstheorie sind Ereignisse Teilmengen des Ergebnisraums. In Datenbanken wählen Abfragen Teilmengen von Datensätzen aus. Das Konzept ist einfach, aber grundlegend für die moderne Mathematik.

• Ein Set, das in einem anderen Set enthalten ist
• Jede Menge ist eine Teilmenge von sich selbst
• Die leere Menge ist eine Teilmenge jeder Menge.
• Die Anzahl der Teilmengen beträgt 2^n