# Structure (mathematical logic)

Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
In mathematical logic, the notion of a structure generalizes mathematical objects such as groups, rings, fields, lattices or ordered sets. A structure is a set equipped with any number of named constants, operations and relations. For example the ordered group of integers can be regarded as a structure consisting of the set of integers  together with the constant 0, the binary operation  (addition), the unary function  (which maps each integer to its inverse), and the binary relation . This structure is often denoted by .
Like most mathematical objects, structures are typically not studied individually in isolation. Given two structures  and , a homomorphism from  to  is a map from the underlying set of  to the underlying set of  which respects the additional information given by the constants, operations and relations. For example the map  which multiplies every integer by 2 is a homomorphism from the structure  to itself, because , , , and because  implies . One only speaks of homomorphisms  when  and  have the same signature, i.e. when they both have the same number of constants and these have the same names, and the number, names and arities of functions and relations agree likewise.