Definition:Totally Ordered Set

Definition
Let $\left({S, \preceq}\right)$ be a relational structure.

Then $\left({S, \preceq}\right)$ is a totally ordered set $\preceq$ is a total ordering.

Also known as
A totally ordered set is also called a simply ordered set or linearly ordered set.

It is also known as a toset. This term may be encountered on.

Some sources refer to a totally ordered set as an ordered set, using the term partially ordered set for what goes as an ordered set on.

Some sources use the term chain, but this word is generally restricted to mean specifically a totally ordered subset of a given ordered set.

Also see

 * Definition:Ordered Set
 * Definition:Partially Ordered Set
 * Definition:Well-Ordered Set


 * Definition:Strictly Ordered Set
 * Definition:Strictly Partially Ordered Set
 * Definition:Strictly Totally Ordered Set
 * Definition:Strictly Well-Ordered Set


 * Definition:Chain (Set Theory)