Grundmenge

Eine Grundmenge (auch Universum) bezeichnet in der Mathematik eine Menge aus allen in einem bestimmten Zusammenhang betrachteten Objekten. Alle in diesem Zusammenhang betrachteten Mengen sind dann Teilmengen dieser Grundmenge. In einzelnen Fällen werden jedoch im Gegenzug nicht auch alle Teilmengen der Grundmenge betrachtet, so zum Beispiel im Fall einer s-Algebra. In der Logik und in den Sprachwissenschaften entspricht der Begriff der Grundmenge dem Diskursuniversum; in der Prädikatenlogik der Definitionsmenge.