Delmængde af en mængde

Ifølge mængdelære, konceptet af en delmængde fra en mængde – gælder for en bestemt del af en mængde. En delmængde eksisterer, hvis hvert element i den tilhører en anden større eller lig med mængde.

Blandt delmængder kan man særskilt skelne mellem den korrekte og den tomme ikke-trivielle delmængde, som er den mindste mængde. Forholdet mellem delmængder er karakteriseret ved egenskaber af refleksivitet, transitivitet, antisymmetri, etc.

Når man vurderer de kvantitative egenskaber ved delmængder af endelige elementmængder, bruges en binomial koefficient. Konceptet af delmængder fra mængder anvendes til praktiske formål i løsning af analytiske problemer i statistik, mængdealgebra, sandsynlighedsteori og i forskellige retninger af anvendt matematik.