Conventionally the Domain of Discourse specifies the set of objects we are addressing. Within mathematical logic, the domain is specified outside of the axioms and transformation rules, as a Limitation on the type of objects that the transformations apply to. –– Iconic Arithmetic Volume I, p. 216
See Domain