relationssymboler

Relation symbols, or relationssymboler in Swedish, are symbols used in mathematics and logic to denote relations between objects. They appear in formal languages to express how elements relate to one another, such as order, equality, or membership.

The arity of a relation symbol indicates how many arguments it takes. Binary relations relate pairs of objects, unary relate a single object, and higher-arity relations relate more. Common binary relation symbols include =, ≠, <, ≤, >, ∈, and ⊆ (subset).

In model theory and first-order logic, a relation symbol R with arity n is interpreted in a structure as an actual subset of the n-fold Cartesian product of the domain, D^n. The interpretation assigns to each relation symbol a specific relation on the domain.

Relations have properties such as reflexivity, symmetry, transitivity, antisymmetry, or totality. For example, the relation ≤ on real numbers is a binary, total, reflexive and transitive relation; equality is a special, universal relation that relates only identical elements.

Relation symbols are central to the study of formal languages and logic, where they allow precise statements about how objects relate. They also appear in databases and knowledge representation, often under the broader notion of relational structures.

---