 Connex Relation
Get Connex Relation essential facts below. View Videos or join the Connex Relation discussion. Add Connex Relation to your PopFlock.com topic list for future reference or share this resource on social media.
Connex Relation

In mathematics, a homogeneous relation is called a connex relation, or a relation having the property of connexity, if it relates all pairs of elements in some way. More formally, the homogeneous relation R over a set X is connex when

$\forall x,\ y\in X,\,\,x\ R\ y\ \lor \ y\ R\ x$ Every pair of elements is either in R or in the converse relation RT.

A homogeneous relation is called a semiconnex relation, or a relation having the property of semiconnexity, if it relates all pairs of distinct elements in some way. More formally, the homogeneous relation R over a set X is semiconnex when

$\forall x,\ y\in X,\,\,x\neq y\rightarrow x\ R\ y\ \lor \ y\ R\ x$ Several authors define only the semiconnex property, and call it connex rather than semiconnex.

The connex properties originated from order theory: if a partial order is also a connex relation, then it is a total order. Therefore, in older sources, a connex relation was said to have the totality property;[] however, this terminology is disadvantageous as it may lead to confusion with, e.g., the unrelated notion of right-totality, also known as surjectivity. Some authors call the connex property of a relation completeness.[]

## Characterizations

Let R be a homogeneous relation.

• R is connex U ? R ? RTR ? RTR is asymmetric,
where U is the universal relation and RT is the converse relation of R.
• R is semiconnex I  ? R ? RTR ? RT ? I R is antisymmetric,
where I  is the complementary relation of the identity relation I and RT is the converse relation of R.

## Properties

• The edge relationE of a tournament graph G is always a semiconnex relation on the set of Gs vertices.
• A connex relation cannot be symmetric, except for the universal relation.
• A relation is connex if, and only if, it is semiconnex and reflexive.
• A semiconnex relation on a set X cannot be antitransitive, provided X has at least 4 elements. On a 3-element set , e.g. the relation has both properties.
• If R is a semiconnex relation on X, then all, or all but one, elements of X are in the range of R. Similarly, all, or all but one, elements of X are in the domain of R.