Als Menge wird ein abstraktes Objekt bezeichnet, das aus der Zusammenfassung einer Anzahl von einzelnen Elementen hervorgeht. Die Menge ist eines der wichtigsten und grundlegenden Konzepte der Mathematik; mit ihrer Betrachtung beschäftigt sich die Mengenlehre.
Bei der Bildung einer Menge geht es ausschließlich um die Frage, welche Elemente in ihr enthalten sind. Es muss für jedes Objekt zweifelsfrei feststehen, ob es zur Menge gehört oder nicht. Der Grenzfall einer Menge, die null Elemente enthält, heißt „leere Menge“. Im Gegensatz zu der Vielzahl sonstiger Mengen, gibt es nur genau eine leere Menge.
Beim Begriff der Menge bleibt außer Betracht, ob es unter den Elementen zusätzlich irgendeine Ordnung geben könnte, Mengen sind zunächst ungeordnete Gebilde. Ist eine Reihenfolge der Elemente von Bedeutung, dann spricht man stattdessen von einer endlichen oder unendlichen Folge.
In der Mathematik werden häufig Mengen betrachtet, die als ihre Elemente Zahlen oder Punkte eines Raumes enthalten. Das Konzept ist aber auf beliebige Objekte anwendbar. Sogar Mengen können als Elemente einer anderen Menge dienen.