Structure (mathematical logic)

In mathematical logic, a **structure** (also known as a **model**) is a formal representation that provides a specific interpretation of a logical language. A structure consists of a set along with functions, relations, and constants that define the meanings of the symbols in the language. Structures are used to evaluate the truth of statements within a given logical framework.