# 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.*

## Contents

## 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): Entry:**universe**:**3. universe of discourse, universe of interpretation, domain of discourse.** - 1998: David Nelson:
*The Penguin Dictionary of Mathematics*(2nd ed.) ... (previous) ... (next): Entry:**universe of discourse** - 2008: David Nelson:
*The Penguin Dictionary of Mathematics*(4th ed.) ... (previous) ... (next): Entry:**universe of discourse**