Având în vedere două seturi A şi B, A este un superset al B, dacă şi numai dacă toate elementele din B sunt, de asemenea, elemente din A. Asta este, A este un superset al B, dacă B este un subset de A.