Signature (logic)

Description of non-logical symbols

In mathematical logic, a signature is a description of the non-logical symbols of a formal language. In universal algebra, a signature lists the operations that characterize an algebraic structure. In model theory, signatures are used for both purposes.

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