domain of discourse

noun1

1. •
   In predicate logic, an indication of the relevant set of entities that are being dealt with by quantifiers.