# Definition:Universe of Discourse

When introducing the symbols $\forall$ (the universal quantifier) or $\exists$ (the existential quantifier), it is understood that the objects referred to are those in the specified universe. It is usual to define that universe.