 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 for a first-order language, with finitary interpretations of its nonlogical symbols.