Universe (First-Order Logic)

first-order-logic

Definition

Universe (First-Order Logic)

The universe $\mathcal{U}$ (also called the domain of discourse) is a non-empty set that forms part of an interpretation $I=(\mathcal{U},{\cdot }^I)$. It contains the objects that terms denote and over which quantifiers range.