structure (mathematical logic)

In mathematical logic, a structure is an object that gives semantic meanings to the symbols in a logical language. The most common setting is with first-order languages, but structures for typed and higher-order languages are also important.
See more at Wikipedia.org...