In predicate logic and set theory, a universe (also called a universal set or domain of discourse) is a set containing all the elements currently being studied. Logical quantifiers range over element in a universe. ^head A universe is usually notated as or just .
It cannot be an empty set,