Podskup skupa

Prema teoriji skupova, koncept podskupa iz skupa – odnosi se na određeni dio skupa. Podskup postoji ako svaki njegov element pripada drugom većem ili jednako velikom skupu.

Među podskupovima, može se posebno izdvojiti pravi i prazni netrivijalni podskup, koji je najmanji skup. Odnos podskupova karakteriziraju svojstva refleksivnosti, tranzitivnosti, antisimetrije itd.

Prilikom procjene kvantitativnih karakteristika podskupova konačnih skupova elemenata koristi se binomni koeficijent. Koncept podskupova iz skupova primjenjuje se u praktične svrhe pri rješavanju analitičkih problema u statistici, algebri skupova, teoriji vjerojatnosti i u različitim smjerovima primijenjene matematike.