Domain of a first-order structure
= Domain of a first-order structure
{title2=$|\mathcal M|$}
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.