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