|Domain: In model theory a set of defined objects, for which a model is satisfiable. In logic a set of objects that can be related to statements.|
|Geach, Peter T.
Books on Amazon
domain / Geach: isc without importance in logic: e.g.: what belongs to the domain of a predicate or if the domain outside is infinite - because negation of the predicate is on the same level.
Logic Matters Oxford 1972