Hvis og er mengder, og ethvert element i også er et element i , så kalles en delmengde eller en av , og man skriver ⊂ . Dersom i tillegg inneholder elementer som ikke er i og er ikke-tom, så er er en . Mengden {1, 2} har fire delmengder, den tomme mengden, {1}, {2} og {1, 2}. Bare {1} og {2} er ekte delmengder.