universe of discourse

noun1

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