Mengi er í stærðfræði safn staka ( einnig kallað íbúar ) , sem til samans mynda eina heild . Mengjahugtakið er eitt af grunnhugtökum í nútíma stærðfræði . Mengjafræði varð til við lok 19. aldar og er stærðfræðingurinn Georg Cantor upphafsmaður hennar .
Hver er skilgreiningin á mengi ?
 safn staka ( einnig kallað íbúar ) , sem til samans mynda eina heild  safn staka  safn staka ( einnig kallað íbúar ) , sem til samans mynda eina heild .  safn staka