dense linear ordering

mathematics

Written by

The Information Architects of Encyclopaedia Britannica

Last updated

June 25, 2026

Quick Summary

Dense linear ordering is a mathematical concept that describes a set where elements can be arranged in a sequence, and between any two distinct elements, there exists at least one other element. This property is a key characteristic of the real number system.1

The real numbers possess ordering properties, including the trichotomy law (for any two real numbers, one must be less than, equal to, or greater than the other), the transitive law (if x < y and y < z, then x < z), and properties related to addition and multiplication with positive numbers. These properties ensure that the real numbers form a continuous line without any "gaps". This completeness is crucial for many areas of mathematical analysis.1

Summary created from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles.

2 Britannica Sources

Ask Britannica AI about this topic

Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.

metalogic
Generalizations and extensions of the Löwenheim-Skolem theorem
…theory T_d, for example, of dense linear ordering (such as that of the rational numbers) is categorical in the countable cardinality. One application of the Löwenheim-Skolem theorem is: If a theory has no finite models and is categorical in some infinite cardinality α, then the theory is complete; i.e., for…
Read More
…theory T_d, for example, of dense linear ordering (such as that of the rational numbers) is categorical in the countable cardinality. One application of the Löwenheim-Skolem theorem is: If a theory has no finite models and is categorical in some infinite cardinality α, then the theory is complete; i.e., for…
Read More