Podmnožina množiny

Podľa teórie množín, koncept podmnožiny z množiny – sa vzťahuje na určitú časť množiny. Podmnožina existuje, ak každý jej prvok patrí do inej väčšej alebo rovnakej množiny.

Medzi podmnožinami možno osobitne rozlišovať vlastnú a prázdnu netriviálnu podmnožinu, ktorá je najmenšou množinou. Vzťah podmnožín je charakterizovaný vlastnosťami reflexivity, tranzitivity, antisymetrie atď.

Pri hodnotení kvantitatívnych charakteristík podmnožín množín konečných prvkov sa používa binomický koeficient. Koncept podmnožín z množín sa používa na praktické účely pri riešení analytických úloh v štatistike, algebre množín, teórii pravdepodobnosti a v rôznych smeroch aplikovanej matematiky.