First-order structure
= First-order structure
A structure supplies a nonempty domain and an interpretation of every constant, operation, and relation symbol in its language.
This is a <structure (mathematical logic)> for a <first-order language>, with finitary interpretations of its nonlogical symbols.