Onderverzameling van een verzameling

Volgens de verzamelingenleer geldt het concept van een onderverzameling van een verzameling – voor een bepaald deel van een verzameling. Een onderverzameling bestaat als elk element ervan behoort tot een andere grotere of gelijke verzameling.

Onder onderverzamelingen kan men onderscheid maken tussen de echte en de lege niet-triviale onderverzameling, die de kleinste verzameling is. De relatie van onderverzamelingen wordt gekarakteriseerd door eigenschappen van reflexiviteit, transitiviteit, antisymmetrie, enz.

Bij het beoordelen van de kwantitatieve kenmerken van onderverzamelingen van eindige elementverzamelingen, wordt een binomiaalcoëfficiënt gebruikt. Het concept van onderverzamelingen van verzamelingen wordt toegepast voor praktische doeleinden bij het oplossen van analytische problemen in de statistiek, verzamelingenalgebra, waarschijnlijkheidstheorie en in verschillende richtingen van toegepaste wiskunde.