Serial relation

https://en.wikipedia.org/wiki/Serial_relation https://proofwiki.org/wiki/Definition:Left-Total_Relation https://proofwiki.org/wiki/Definition:Right-Total_Relation https://proofwiki.org/wiki/Inverse_of_Left-Total_Relation_is_Right-Total

A serial or left-total relation is a binary relation R for which every element of the domain has a corresponding range element, ∀x∃y.xRy.

Examples:

• a function is serial on its domain

• "less than" relation on ℕ is serial

• A reflexive relation is a serial relation but the converse is not true. However, a serial relation that is symmetric and transitive can be shown to be reflexive. In this case, the relation is an equivalence relation.

• If a strict order is serial, then it has no maximal element.

• In Euclidean and affine geometry, the serial property of the relation of parallel lines, m ∥ n, is expressed by Playfair's axiom.

In Principia Mathematica, Bertrand Russell and A. N. Whitehead refer to "relations which generate a series" as serial relations. Their notion differs from this article in that the relation may have a finite range.

For a relation R let {y: xRy } denote the "successor neighborhood" of x. A serial relation can be equivalently characterized as every element having a non-empty successor neighborhood. Similarly an inverse serial relation is a relation in which every element has non-empty "predecessor neighborhood". More commonly, an inverse serial relation is called a surjective relation, and is specified by a serial converse relation.

In normal modal logic, the extension of fundamental axiom set K by the serial property results in axiom set D.