Scattered order

In mathematical order theory, a scattered order is a linear order that contains no densely ordered subset with more than one element.

Version

v1 · 2026-09-28 · History

Domain-specific #

11895

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomains

Order Theory, Linear Orders → Mathematics

Core Idea

Scattered order is treated here as the recurring mathematicslogicstatistics identity summarized by this source-grounded definition: In mathematical order theory, a scattered order is a linear order that contains no densely ordered subset with more than one element. In mathematical order theory, a scattered order is a linear order that contains no densely ordered subset with more than one element. A characterization due to Hausdorff states that the class of all scattered orders is the smallest class of linear orders that contains the singleton orders and is closed under well-ordered and reverse well-ordered sums.

Scope of Application

• Documented setting. In mathematical order theory, a scattered order is a linear order that contains no densely ordered subset with more than one element.

• Documented setting. A characterization due to Hausdorff states that the class of all scattered orders is the smallest class of linear orders that contains the singleton orders and is closed under well-ordered and.

• Documented setting. Laver's theorem (generalizing a conjecture of Roland Fraïssé on countable orders) states that the embedding relation on the class of countable unions of scattered orders is a well-quasi-order.

• Documented setting. The converse implication does not hold, as witnessed by the lexicographic order on \mathbb Q\times\mathbb Z .

• Documented setting. The order topology of a scattered order is scattered.

Clarity

A clear use of Scattered order names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is In mathematical order theory, a scattered order is a linear order that contains no densely ordered subset with more than one element.

Manages Complexity

Scattered order compresses multiple mathematicslogicstatistics details into a stable diagnostic relation. The source shows both the central mechanism—in mathematical order theory, a scattered order is a linear order that contains no densely ordered subset with more than one element.—and the practical consequence—the converse implication does not hold, as witnessed by the lexicographic order on \mathbb Q\times\mathbb Z .

Abstract Reasoning

1. Type the carrier. Identify the mathematicslogicstatistics entities to which the claim applies.
2. State the relation. Use the source-grounded identity: In mathematical order theory, a scattered order is a linear order that contains no densely ordered subset with more than one element.
3. Check operation and conditions. A characterization due to Hausdorff states that the class of all scattered orders is the smallest class of linear orders that contains the singleton orders and is closed under well-ordered and reverse well-ordered sums.
4. Demand recognition evidence.

Knowledge Transfer

Within the home domain. Knowledge about Scattered order transfers literally when a new case preserves the same carrier type, relation, and recognition test. In mathematical order theory, a scattered order is a linear order that contains no densely ordered subset with more than one element. A characterization due to Hausdorff states that the class of all scattered orders is the smallest class of linear orders that contains the singleton orders and is closed under well-ordered and reverse well-ordered sums. Beyond the home domain. No canonical parent is asserted for Scattered order.

Relationships to Other Abstractions

Current abstraction Scattered order Domain-specific

Parents (1) — more general patterns this builds on

• Scattered order is a kind of Linear order Domain-specific

  A scattered order is a linear order whose differentia is containing no nontrivial densely ordered subset.

Hierarchy paths (3) — routes to 3 parentless roots

• Scattered order → Linear order → Order → Comparison → Self Checking

Show alternative paths (2)

Neighborhood in Abstraction Space

Scattered order sits in a moderately populated region (50^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Category Theory & Homotopical Algebra (18 abstractions)

Nearest neighbors

• Linear order — 0.90
• Ideal (order theory) — 0.86
• Linearly ordered group — 0.85
• Product order — 0.85
• Abstract polytope — 0.85

Computed from structural-signature embeddings · 2026-10-08