Definition:Totally Ordered Set/Also known as

From ProofWiki
Jump to navigation Jump to search

Totally Ordered Set: 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 $\mathsf{Pr} \infty \mathsf{fWiki}$.


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 $\mathsf{Pr} \infty \mathsf{fWiki}$.


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


The term permutation is an older term for totally ordered set, but has since been changed to mean the bijection that can be applied on such a totally ordered set in order to redefine its ordering.


Sources