Structure (mathematical logic)
= Structure
{disambiguate=mathematical logic}
{wiki}
A <structure (mathematical logic)> consists of a domain together with interpretations of the symbols of a formal language. In the usual finitary setting it interprets constant, function, and relation symbols of their declared arities. A <first-order structure> is such an interpretation for first-order logic.