O submulțime este o mulțime conținută într-o altă mulțime. Dacă mulțimea A = {1, 2} și mulțimea B = {1, 2, 3, 4}, atunci A este o submulțime a mulțimii B. Fiecare mulțime este o submulțime a sa însăși. Mulțimea vidă este o submulțime a fiecărei mulțimi.

O submulțime proprie este o submulțime care nu este egală cu mulțimea originală. A are 2 elemente; B are 4. Deoarece A ≠ B, A este o submulțime proprie a lui B. Numărul de submulțimi ale unei mulțimi cu n elemente este 2^n.

Submulțimile apar în teoria mulțimilor, logică și informatică. În probabilități, evenimentele sunt submulțimi ale spațiului eșantionului. În bazele de date, interogările selectează submulțimi de înregistrări. Conceptul este simplu, dar fundamental pentru matematica modernă.

• Mulțime conținută într-o altă mulțime
• Fiecare mulțime este o submulțime a sa însăși
• Mulțimea vidă este o submulțime a fiecărei mulțimi
• Numărul de submulțimi este 2^n