Delmengde av en mengde

I henhold til mengdeteori, gjelder konseptet delmengde fra en mengde – for en bestemt del av en mengde. En delmengde eksisterer hvis hvert element i den tilhører en annen større eller lik mengde.

Blant delmengder kan man skille mellom den egentlige og den tomme ikke-trivielle delmengden, som er den minste mengden. Forholdet mellom delmengder er preget av egenskaper som refleksivitet, transitivitet, antisymmetri, etc.

Ved vurdering av de kvantitative egenskapene til delmengder av endelige elementmengder, brukes en binomialkoeffisient. Konseptet med delmengder fra mengder brukes til praktiske formål i løsning av analytiske problemer i statistikk, mengdealgebra, sannsynlighetsteori, og i forskjellige retninger av anvendt matematikk.