Súbor je množina objektov. Súbor A je podsúborom (podmnožinou) súboru (množiny) B vtedy, keď každý prvok zo súboru A je zároveň prvkom zo súboru B. Tento vzťah sa v matematike vyjadruje symbolmi A ⊆ B.

Grafickým vyjadrením vzťahu medzi súborom a podsúborom (množinou a podmnožinou) sú Vennove diagramy.