Givet to sæt A og B, er A et supersæt af B Hvis og kun hvis alle elementer i B er også elementer af A. Det vil sige, er A et supersæt af B Hvis B er en delmængde af A.