Menge, die in einer anderen Menge enthalten ist, ohne mit dieser identisch zu sein.

Gilt für Mengen X, Y, daß X ⊊ Y und X ≠ Y, so nennt man X eine echte Teilmenge von Y. In diesem Fall ist die Schreibweise X ⊆ Y gebräuchlich (Verknüpfungsoperationen für Mengen).