En
mängd är en samling av objekt. De objekt som ingår i en mängd kallas mängdens
element. I
axiomatisk mängdteori, till exempel
Zermelo-Fraenkels mängdteori, finns ett antal axiom som fastställer hur mängder får bildas. De får till exempel inte ha sig själva som element. Men i stort sett är det nästan inga begränsningar på vad en mängd får innehålla.