En mängd är en samling unika objekt. Varje objekt kallas element och om elementen är tal är det en talmängd. Ett exempel på en talmängd är de naturliga talen, $\mathbb{N}.$ En mängd anges inom klamrar, {}, och ordningen spelar ingen roll. Exempelvis är $\{1,2,3\}$ samma talmängd som $\{2,3,1\}.$ Det spelar heller ingen roll hur många gånger man anger samma element. Både anger mängden av talen $2,$ $4,$ $5$ och $7.$