Definition:Universe of Discourse
Jump to navigation
Jump to search
This page is about Universe in the context of Logic. For other uses, see Universe.
Definition
The universe of discourse, or just universe, is the term used to mean everything we are talking about.
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.
Also known as
The universe of discourse is also known as the universe of interpretation or domain of discourse.
Also see
- In class theory, the universe of discourse is the Universal Class.
Sources
- 1989: Ephraim J. Borowski and Jonathan M. Borwein: Dictionary of Mathematics ... (previous) ... (next): universe: 3. universe of discourse, universe of interpretation, domain of discourse.
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): universe of discourse
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): universe of discourse