podskup, skup koji se sastoji od pojedinih elemenata nekoga drugog skupa, npr. skup A je 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) tj. A ⊆ B ⇔ ∀ x (x ∈ A ⇒ x ∈ B ).
Pravi podskup (znak A ⊂ B) različit je od zadanoga skupa (A ≠ B), npr. {1, 2, 5} ⊂ {1, 2, 4, 5, 7}. U tom je slučaju skup B pravi nadskup skupa A (znak B ⊃ A).
Prazni skup podskup je svakoga skupa (∀A : ∅ ⊆ A).
