Menge, die eine andere Menge enthält, ohne mit dieser identisch zu sein.

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