Domain of a first-order structure
ID: domain-of-a-first-order-structure
The underlying set of elements over which the quantifiers of a first-order structure range. Relation symbols are interpreted as finitary relations on this set, and function symbols as functions on it.
New to topics? Read the docs here!