(especially in model theory, cf. universe), or its [[domain of discourse]]. In classical first-order logic, the definition of a structure prohibits the empty domain.

Sometimes the notation or is used for the domain of but often no notational distinction is made between a structure and its domain (that is, the same symbol refers both to the structure and its domain.)

Signature

The signature of a structure consists of:

* a set

1.Previous
3.Next