Universum (Mathematik)
Der Begiff Universum steht in der (diskreten) Mathematik für das so genannte Mengenuniversum U. Es fasst beliebige bekannte und unbekannte, über Axiome definierte Objekte zusammen, auch Mengen von Objekten. Ein Universum wird meist über eine Variable mit einer Aussage assoziiert (Aussagenlogik).