podskup, skup koji se sastoji od pojedinih elemenata nekoga drugog skupa, npr. skup A naziva se podskup skupa B ako je svaki element skupa A ujedno element skupa B. U tom je slučaju skup B nadskup skupa A. Za taj odnos rabe se znakovi:
A ⊆ B (skup A je podskup skupa B) ili B ⊇ A (skup B je nadskup skupa A).
Pravi podskup (znak A ⊂ B) različit je od zadanoga skupa, npr. {1, 2, 5} ⊂ {1, 2, 4, 5, 7}. U tom je slučaju skup B pravi nadskup skupa A (znak B ⊃ A).
