universe of discourse

Noun

 * 1)  The set of all entities over which quantifiers—including "for all" and "there exists"—range.