Noun
domain of discourse (plural domains of discourse) (logic) In predicate logic, an indication of the relevant set of entities that are being dealt with by quantifiers.