Structure (mathematical logic)

Mapping of mathematical formulas to a particular meaning

In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations that are defined on it. Universal algebra studies structures that generalize the algebraic structures such as groups, rings, fields and vector spaces. The term universal algebra is used for structures of first-order theories with no relation symbols.

From Wikipedia, under CC BY-SA. More on occurri.