In the formal sciences, the domain of discourse or universe of discourse (borrowing from the mathematical concept of universe) is the set of entities over which certain variables of interest in some formal treatment may range.

It is also defined as the collection of objects being discussed