Structure

A structure in a Language
(or -structure) is a non-empty set together with:

• functions for each operation symbol
  where is the arity
• subsets for each predicate symbol
  where again is the arity.

Alternatively, we can identify subsets with their indicator functions

Note

If then is called a constant.
Its interpretation in a structure is i.e. an element