# Total relation

﻿
Total relation

In mathematics, a binary relation R over a set X is total if for all a and b in X, a is related to b or b is related to a (or both).

In mathematical notation, this is

$\forall a, b \in X,\ a R b \or b R a.$

Total relations are sometimes said to have comparability.

## Examples

For example, "is less than or equal to" is a total relation over the set of real numbers, because for two numbers either the first is less than or equal to the second, or the second is less than or equal to the first. On the other hand, "is less than" is not a total relation, since one can pick two equal numbers, and then neither the first is less than the second, nor is the second less than the first. (But note that "is less than" is a weak order which gives rise to a total order, namely "is less than or equal to". The relationship between strict orders and weak orders is discussed at partially ordered set.) The relation "is a proper subset of" is also not total.

## Properties and related notions

Totality implies reflexivity.

If a transitive relation is also total, it is a total preorder. If a partial order is also total, it is a total order.

A binary relation R over X is called connex if for all a and b in X such that a ≠ b, a is related to b or b is related to a (or both):[1]

$\forall a, b \in X,\ a R b \or b R a\or a=b.$

Connexity does not imply reflexivity. A strict partial order is a strict total order if and only if it is connex.

## References

1. ^ Rautenberg, Wolfgang (2006), A concise introduction to mathematical logic (2nd ed.), Birkhäuser, ISBN 9780387302942

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Total — NOTOC Wiktionarypar|totalTotal may refer to:Mathematics*Total, the summation of a set of numbers * Total function, a type of partial function in mathematics * Total order, a common total relation in mathematics * Total relation, a type of binary… …   Wikipedia

• Relation algebra — is different from relational algebra, a framework developed by Edgar Codd in 1970 for relational databases. In mathematics, a relation algebra is a residuated Boolean algebra supporting an involutary unary operation called converse. The… …   Wikipedia

• Relation antisymétrique — Relation binaire Une relation binaire est un concept mathématique qui systématise des notions comme « ... est supérieur ou égal à ... » en arithmétique, ou « ... est élément de l’ensemble ... » en théorie des ensembles. C’est… …   Wikipédia en Français

• Relation bien fondee — Relation bien fondée En mathématiques, une relation bien fondée exprime un type de relation entre les éléments de deux ensembles. Soit E un ensemble non vide. On dit qu une relation R sur E est bien fondée ou plus rarement nœthérienne (alors que… …   Wikipédia en Français

• Relation nœthérienne — Relation bien fondée En mathématiques, une relation bien fondée exprime un type de relation entre les éléments de deux ensembles. Soit E un ensemble non vide. On dit qu une relation R sur E est bien fondée ou plus rarement nœthérienne (alors que… …   Wikipédia en Français

• Relation of God to the Universe —     Relation of God to the Universe     † Catholic Encyclopedia ► Relation of God to the Universe     1. Essential Dependence of the Universe on God (Creation and Conservation)     In developing the argument of the First Cause we have seen that… …   Catholic encyclopedia

• total — total, ale, aux [ tɔtal, o ] adj. et n. • 1361; lat. médiév. totalis, du class. totus « tous » 1 ♦ (Actions) Qui affecte toutes les parties, tous les éléments (de la chose ou de la personne considérée). ⇒ 1. complet, 1. général. Destruction… …   Encyclopédie Universelle

• Total depravity — (also called total inability and total corruption) is a theological doctrine that derives from the Augustinian concepts of original sin. It is also advocated by many Protestant confessions of faith and catechisms, including those of Lutheranism,… …   Wikipedia

• Relation d'ordre — Une relation d’ordre dans un ensemble est une relation binaire dans cet ensemble qui permet de comparer ses éléments entre eux de manière cohérente. Un ensemble muni d’une relation d’ordre est un ensemble ordonné ou tout simplement un ordre.… …   Wikipédia en Français

• Total order — In set theory, a total order, linear order, simple order, or (non strict) ordering is a binary relation (here denoted by infix ≤) on some set X. The relation is transitive, antisymmetric, and total. A set paired with a total order is called a… …   Wikipedia