To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time. 4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds # Connected relation

In mathematics, a relation on a set is called connected or total if it relates (or "compares") all distinct pairs of elements of the set in one direction or the other while it is called strongly connected if it relates all pairs of elements. As described in the terminology section below, the terminology for these properties is not uniform. This notion of "total" should not be confused with that of a total relation in the sense that for all $x\in X$ there is a $y\in X$ so that $x\mathrel {R} y$ (see serial relation).

Connectedness features prominently in the definition of total orders: a total (or linear) order is a partial order in which any two elements are comparable; that is, the order relation is connected. Similarly, a strict partial order that is connected is a strict total order. A relation is a total order if and only if it is both a partial order and strongly connected. A relation is a strict total order if, and only if, it is a strict partial order and just connected. A strict total order can never be strongly connected (except on an empty domain).

## Formal definition

A relation $R$ on a set $X$ is called connected when for all $x,y\in X,$ ${\text{ if }}x\neq y{\text{ then }}x\mathrel {R} y\quad {\text{or}}\quad y\mathrel {R} x,$ or, equivalently, when for all $x,y\in X,$ $x\mathrel {R} y\quad {\text{or}}\quad y\mathrel {R} x\quad {\text{or}}\quad x=y.$ A relation with the property that for all $x,y\in X,$ $x\mathrel {R} y\quad {\text{or}}\quad y\mathrel {R} x$ is called strongly connected.

### Terminology

The main use of the notion of connected relation is in the context of orders, where it is used to define total, or linear, orders. In this context, the property is often not specifically named. Rather, total orders are defined as partial orders in which any two elements are comparable. Thus, total is used more generally for relations that are connected or strongly connected. However, this notion of "total relation" must be distinguished from the property of being serial, which is also called total. Similarly, connected relations are sometimes called complete, although this, too, can lead to confusion: The universal relation is also called complete, and "complete" has several other meanings in order theory. Connected relations are also called connex or said to satisfy trichotomy (although the more common definition of trichotomy is stronger in that exactly one of the three options $x\mathrel {R} y,y\mathrel {R} x,x=y$ must hold).

When the relations considered are not orders, being connected and being strongly connected are importantly different properties. Sources which define both then use pairs of terms such as weakly connected and connected, complete and strongly complete, total and complete, semiconnex and connex, or connex and strictly connex, respectively, as alternative names for the notions of connected and strongly connected as defined above.

## Characterizations

Let $R$ be a homogeneous relation. The following are equivalent:

• $R$ is strongly connected;
• $U\subseteq R\cup R^{\top }$ ;
• ${\overline {R}}\subseteq R^{\top }$ ;
• ${\overline {R}}$ is asymmetric,

where $U$ is the universal relation and $R^{\top }$ is the converse relation of $R.$ The following are equivalent:

• $R$ is connected;
• ${\overline {I}}\subseteq R\cup R^{\top }$ ;
• ${\overline {R}}\subseteq R^{\top }\cup I$ ;
• ${\overline {R}}$ is antisymmetric,

where ${\overline {I}}$ is the complementary relation of the identity relation $I$ and $R^{\top }$ is the converse relation of $R.$ ## Properties

• The edge relation[note 1] $E$ of a tournament graph $G$ is always a connected relation on the set of $G$ 's vertices.
• If a strongly connected relation is symmetric, it is the universal relation.
• A relation is strongly connected if, and only if, it is connected and reflexive.[proof 1]
• A connected relation on a set $X$ cannot be antitransitive, provided $X$ has at least 4 elements. On a 3-element set $\{a,b,c\},$ for example, the relation $\{(a,b),(b,c),(c,a)\}$ has both properties.
• If $R$ is a connected relation on $X,$ then all, or all but one, elements of $X$ are in the range of $R.$ [proof 2] Similarly, all, or all but one, elements of $X$ are in the domain of $R.$ Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.