Podmnožica množice

V skladu s teorijo množic, koncept podmnožice iz množice – se nanaša na določen del množice. Podmnožica obstaja, če vsak njen element pripada drugi večji ali enaki množici.

Med podmnožicami lahko ločimo lastno in prazno netrivialno podmnožico, ki je najmanjša množica. Razmerje podmnožic je označeno z lastnostmi refleksivnosti, tranzitivnosti, antisimetrije itd.

Pri ocenjevanju kvantitativnih značilnosti podmnožic končnih elementnih množic se uporablja binomski koeficient. Koncept podmnožic iz množic se uporablja v praktične namene pri reševanju analitičnih problemov v statistiki, algebri množic, teoriji verjetnosti in v različnih smereh uporabne matematike.