En i matematikk er en veldefinert samling med ulike objekter. Begrepet er et av de viktigste og mest grunnleggende i moderne matematikk, og teori for mengder kalles mengdelære, siden mange andre matematiske objekter og strukturer kan bli redefinert i form av mengder.