En av en mengde er i matematikk en oppdeling av mengden i ikke-tomme, disjunkte delmengder, slik at unionen av undermengdene er lik . Ethvert element i er dermed inneholdt i én og kun én av delmengdene. Delmengdene blir gjerne kalt , eller .