|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.|
Books on Amazon
Def left domain / Mates: the set of all objects x, for which there is a y such that x R y - Right domain: set of all y for which there is an x with xRy - Field: a union of left and right domain of relation.
Elementare Logik Göttingen 1969