Ordered geometry¶

Form of geometry without distances.

Version: v1 · 2026-09-28 · History
Domain-specific #: 11139
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Foundations of Geometry, Axiomatic Geometry → Mathematics

Core Idea¶

Ordered geometry is an axiomatic geometry organized around points and the ternary relation of betweenness rather than distance, angle measure, or coordinates. A statement [ABC] says that B lies between A and C. From this primitive relation one defines open segments, closed intervals, rays, lines, triangles, planes, and higher-dimensional incidence structures. Axioms enforce symmetry in the endpoints, exclude degenerate orderings, extend lines, provide points off a line, and regulate how lines entering a triangle must leave it, notably through Pasch-type conditions.

Betweenness supplies a linear order locally along each line and a notion of separation across figures. Additional continuity axioms, such as a Dedekind completeness principle, can rule out gaps. Dimension axioms specify whether all points lie in one plane, in three-space, or in a chosen higher-dimensional setting. Because measurement is absent, the theory provides common structural groundwork for affine, Euclidean, absolute, and hyperbolic geometries before their stronger parallel, congruence, or metric axioms are imposed. Models and independence results clarify which familiar geometric conclusions follow from order alone and which require additional primitives. Historical systems by Pasch, Peano, Hilbert, and Veblen differ in axiom choice while pursuing this separation.

Ordered geometry is not coordinate geometry, metric geometry, or merely a drawing convention about left and right. It does not by itself assign lengths, angle sizes, perpendicularity, or a distance function. It also differs from projective geometry, where points at infinity and the absence of intrinsic betweenness frustrate the same global order structure. The abstraction is geometry from intermediacy: spatial figures and separation are reconstructed from which point lies between which others, isolating the consequences of order from those of measurement.

Structural Signature¶

Sig role-phrases:

the primitive points — basic objects from which figures are constructed
the ternary betweenness relation — statement that one point lies between two endpoint points
the order axioms — symmetry, nondegeneracy, extension, and consistency governing betweenness
the derived linear figures — segments, rays, and lines defined without prior distance
the derived planar figures — triangles, planes, and separation relations built from incidence and order
the Pasch-type crossing rule — regulation of how lines entering a triangle must exit
the linewise ordering — local linear sequence of points induced along each line
the continuity option — Dedekind or related completeness excluding gaps when added
the dimensional axioms — conditions fixing planar, spatial, or higher-dimensional scope
the measurement boundary — lengths, angle magnitudes, perpendicularity, coordinates, and parallel postulates absent until stronger geometric structure is imposed

What It Is Not¶

Not coordinate geometry. Points and betweenness are primitive; numerical coordinates need not be assigned.
Not metric geometry. Length, distance, angle magnitude, and perpendicularity are absent until additional structure is introduced.
Not merely a drawing convention about left and right. Axioms govern ternary intermediacy and derive segments, rays, lines, separation, and planes.
Not Euclidean geometry in full. Parallel, congruence, and metric axioms are independent extensions beyond order.
Not automatically projective geometry. Points at infinity and the lack of intrinsic global betweenness conflict with the same order structure.
Not one historically fixed axiom list. Pasch, Peano, Hilbert, and Veblen systems isolate similar structure through different primitives and dependencies.
Not guaranteed complete or continuous. Dedekind-style gap exclusion and dimension conditions are optional additional axioms.

Scope of Application¶

Ordered geometry is a foundational instrument and applies when points and a ternary betweenness relation are the primary primitives from which geometric order is developed before metric or congruence is introduced.

Axiomatic geometry. Symmetry, nondegeneracy, incidence, extension, and Pasch-type rules define admissible models.
Foundations of affine and Euclidean geometry. Order-only results are isolated before parallel or metric axioms are added.
Segments, rays, and lines. Linear figures are reconstructed from betweenness without coordinates.
Plane separation and triangles. Crossing and sidedness arise through incidence and order principles.
Model construction. Structures show consistency and variation among axiom systems.
Independence proofs. Countermodels reveal which familiar theorems require continuity, dimension, congruence, or parallels.
Historical axiomatics. Pasch, Peano, Hilbert, and Veblen systems are compared by primitives and dependencies.
Applicability boundary. Ordered geometry is not coordinate, metric, projective, or fully Euclidean geometry, and diagrams do not license unproved order relations; strictness, degeneracy, incidence, Pasch condition, line order, continuity, dimension, model class, and every added congruence, parallel, or metric assumption must be declared.

Clarity¶

Ordered geometry builds geometric structure from incidence and the ternary relation ‘between’ rather than from distance, angle, coordinates, or metric congruence. Betweenness axioms create local line order, segments, rays, separation, and Pasch-type constraints; continuity and dimension require additional axioms. The term does not imply that all geometric magnitudes are already available. The sharper axiomatic question is which theorems follow from order alone, which require incidence or completeness, and where metric notions enter only after enriching the primitive language.

Manages Complexity¶

Ordered geometry compresses geometric reasoning to points, incidence, and betweenness, with continuity and dimension added only when needed. Segments, rays, lines, separation, triangles, and convexity can be built from the ternary order relation without coordinates or metric magnitude. Linear, planar, higher-dimensional, Paschian, and complete branches reflect axiom choices. This organization reveals which theorems depend only on order and which require distance, angle, or congruence. It makes foundational assumptions auditable and allows models with different metric structure to share the same order geometry rather than re-proving every incidence result separately.

Abstract Reasoning¶

Betweenness move. Take a ternary relation stating that one point lies between two others and derive segments, rays, lines, separation, and convexity. Axiom move. Use endpoint symmetry, extension, nondegeneracy, incidence, and Pasch-type conditions to test candidate models. Order move. Recover a linear ordering along each line without assigning distances or angles. Independence move. Determine which familiar geometric theorems follow from order alone and which need congruence, parallels, coordinates, or continuity. Boundary move. Ordered geometry is not left-right drawing convention, coordinate order, or metric geometry; betweenness supplies no length or angle measure by itself.

Knowledge Transfer¶

Within the home domain. Ordered geometry transfers across axiomatic geometry, foundations, model theory, and the study of affine, Euclidean, and hyperbolic systems as geometry built from betweenness and incidence before metric or congruence. Point, ternary order, segment, line, Pasch condition, dimension, and continuity retain formal roles. Beyond the home domain (C — axiomatic framework). It applies literally to models satisfying the axioms. Its boundary is expressive: it supplies no length, angle, perpendicularity, or distance by itself, and ordinary ranking or left–right layout is not ordered geometry. Projective models may lack compatible global betweenness.

Examples¶

Canonical¶

Take points A, B, and C with [ABC] meaning B lies between A and C. Axioms make endpoint order symmetric, exclude degenerate placements, and allow line extension. Segments and rays are defined from betweenness before distance exists. A Pasch axiom says, roughly, that a line entering one side of a triangle without passing through a vertex must exit another side, regulating planar separation. No numerical length, angle magnitude, perpendicularity, coordinate, or parallel postulate follows until stronger structure is added.

Mapped back: A/B/C are the primitive points, [ABC] the ternary betweenness relation, and rules the order axioms. Segments/rays/lines are the derived linear figures, triangles/planes the derived planar figures, and crossing the Pasch-type crossing rule.

Applied / In Practice¶

A foundational geometer derives a linear order on each line and then adds dimensional axioms fixing a plane. A Dedekind-style continuity axiom is optional and separately excludes gaps. Models lacking metric structure test which theorems use only incidence and order. Whenever a proof invokes equal length or angle, it is flagged as leaving ordered geometry's base language.

Mapped back: Local sequence is the linewise ordering, completeness the continuity option, and plane choice the dimensional axioms. Metric exclusions enforce the measurement boundary.

Structural Tensions¶

T1 — Identity versus admissible variation. Ordered geometry must remain recognizable across legitimate variants. Admissible variation is bounded by this condition: Symmetry, nondegeneracy, incidence, extension, and Pasch-type rules define admissible models. The stable element is expressed by this invariant: Form of geometry without distances. Treating every surface change as a new abstraction fragments the identity, while allowing a change to the constitutive relation produces a false positive.

Diagnostic: After the proposed variation, can an analyst still establish this invariant: Form of geometry without distances?

T2 — Recognition versus proxy. The domain needs observable or inferential evidence for Ordered geometry, but the evidence is not automatically the identity. The working recognition rule is: the measurement boundary — lengths, angle magnitudes, perpendicularity, coordinates, and parallel postulates absent until stronger geometric structure is imposed. A familiar indicator can occur without the defining relation, and the relation can persist when a customary detector is unavailable.

Diagnostic: Does the evidence establish the defining claim—Form of geometry without distances—or only a correlated sign?

T3 — Definition versus operational judgment. A compact definition aids reuse, whereas actual classification in mathematics logic statistics can require expert decisions about boundary conditions, measurements, conventions, or exceptions. Betweenness supplies a linear order locally along each line and a notion of separation across figures. The definition must constrain those judgments without pretending that every admissible case can be recognized from a label alone.

Diagnostic: Which observation would make a competent practitioner reject the classification under the stated definition?

T4 — Scope versus overextension. Ordered geometry has a genuine habitat in which symmetry, nondegeneracy, incidence, extension, and Pasch-type rules define admissible models. Yet Ordered geometry is not coordinate, metric, projective, or fully Euclidean geometry, and diagrams do not license unproved order relations; strictness, degeneracy, incidence, Pasch condition, line order, continuity, dimension, model class, and every added congruence, parallel, or metric assumption must be declared. A useful application map therefore has to be broad enough to cover recurring practice and narrow enough to exclude merely topical or metaphorical occurrences.

Diagnostic: Can the claimed application fill the same carrier and relation roles, or has only the name traveled?

T5 — Transfer versus domain accent. Knowledge about Ordered geometry can travel within its home domain, and some structural lessons may travel farther. Ordered geometry transfers across axiomatic geometry, foundations, model theory, and the study of affine, Euclidean, and hyperbolic systems as geometry built from betweenness and incidence before metric or congruence. What transfers must be separated from the specialist vocabulary, warrant, and closure conditions that remain anchored in mathematics logic statistics.

Diagnostic: Is the receiving case a literal instance of Ordered geometry, a co-instance of Pattern, or only an analogy?

T6 — Autonomy versus reduction. Ordered geometry is a strict specialization of Theory, but the edge does not erase the domain differentia. The broader node supplies only the necessary structural relation; mathematics_logic_statistics supplies the carrier, warrant, boundary, and exception conditions expressed by this identity: Form of geometry without distances. The entry is over-split if those conditions add no discriminating work and under-specified if the parent alone is used for cases that require them.

Diagnostic: Can a domain expert use the added conditions to distinguish Ordered geometry from another case that equally instantiates Theory?

Structural–Framed Character¶

Ordered geometry is structural-leaning, with a bounded disciplinary frame. Its structural side consists of the carrier the primitive points — basic objects from which figures are constructed and the constitutive relation Form of geometry without distances. Its framed side comes from mathematics logic statistics, which fixes what the terms denote, what counts as evidence, and when a qualification or exception defeats the classification.

Across the principal tests, the entry is not merely a free-floating pattern. Evaluative weight: the identity can be stated descriptively even when its use has practical or normative consequences. Practice dependence: the measurement boundary — lengths, angle magnitudes, perpendicularity, coordinates, and parallel postulates absent until stronger geometric structure is imposed. Institutional stabilization: disciplinary conventions may stabilize the name and test without necessarily creating every underlying event or relation. Vocabulary portability: the invariant is Form of geometry without distances. Import versus recognition: an outside case qualifies literally only if the same typed roles and collapse condition are available; otherwise the comparison is analogical.

The reusable remainder is Theory under a reviewed subsumption relation. That node preserves the necessary cross-domain organization after the mathematics_logic_statistics-specific carrier, evidence, and exceptions are removed. Ordered geometry remains autonomous because its recognition and collapse conditions distinguish cases that the parent alone leaves together.

Structural Core vs. Domain Accent¶

What is skeletal. The portable skeleton is a typed carrier organized by a constitutive relation, an invariant, a recognition test, and a collapse condition. Here the carrier is the primitive points — basic objects from which figures are constructed. The decisive relation is Form of geometry without distances, which also states the controlling invariant at this level. Stripped of specialist nouns, this organization is represented by Pattern.

What is domain-bound. mathematics logic statistics supplies the actual objects or agents, admissible transformations, units or conventions, standards of warrant, and named exceptions. In this case, recognition requires evidence for the measurement boundary — lengths, angle magnitudes, perpendicularity, coordinates, and parallel postulates absent until stronger geometric structure is imposed. Admissible variation is bounded by the condition that symmetry, nondegeneracy, incidence, extension, and Pasch-type rules define admissible models, and the classification collapses when points and betweenness are primitive; numerical coordinates need not be assigned. These are constitutive differentia, not illustrative decoration.

Why it remains a domain-specific node. The reviewed DAG relation is subsumption to Theory. Outside mathematics_logic_statistics, the parent captures only the reusable structural remainder. The specialist name remains literal only where the measurement boundary — lengths, angle magnitudes, perpendicularity, coordinates, and parallel postulates absent until stronger geometric structure is imposed can be established under the domain's standards of warrant.

This entry is a kind of Theory.

Immediate parent — Theory (subsumption). Ordered geometry is a domain-specific kind of Theory: Form of geometry without distances. The parent supplies the necessary broader identity—A coherent system of concepts and propositions that explains, organizes or predicts a domain through explicit relations and standards of support.—while the candidate adds the source-domain carrier, recognition rule, and failure conditions. The defining source account begins: Ordered geometry is an axiomatic geometry organized around points and the ternary relation of betweenness rather than distance, angle measure, or coordinates.
Nearest catalog surface declined — Synthetic geometry. Its rematch score was 0.315497. Retrieval proximity did not establish synonymy or parentage; the carrier, invariant, and collapse condition remain different.
Related reasoning operations. Evidence, comparison, boundary testing, and representation can support a case without becoming additional DAG parents.

Relationships to Other Abstractions¶

Current abstraction Ordered geometry Domain-specific

Parents (1) — more general patterns this builds on

Ordered geometry is a kind of Theory Prime

Ordered geometry is a domain-specific kind of Theory: Form of geometry without distances.

Children (1) — more specific cases that build on this

Neutral Geometry Domain-specific is a kind of Ordered geometry

Neutral geometry preserves ordered-geometry betweenness and adds congruence while withholding a parallel axiom.

Hierarchy paths (2) — routes to 2 parentless roots

Ordered geometry → Theory → Formalization → Representation → Abstraction

Show alternative path (1)

Neighborhood in Abstraction Space¶

Ordered geometry sits in a sparse region of the domain-specific corpus (60^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2551 abstractions)

Nearest neighbors

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

Not to Be Confused With¶

Theory. This is the reviewed immediate parent or structural prerequisite, not a synonym. Tell: retain Ordered geometry only when the domain-specific relation Form of geometry without distances. and its source-domain warrant are established; otherwise route the case to Theory.
Continuum Measurement. This is the closest catalog retrieval surface, not an accepted synonym or parent. Tell: Ask which entry's carrier, invariant, and collapse test the case actually satisfies; shared vocabulary or a score of 0.741878 is insufficient.
Not coordinate geometry. Points and betweenness are primitive; numerical coordinates need not be assigned. Tell: Require the positive recognition condition that the measurement boundary — lengths, angle magnitudes, perpendicularity, coordinates, and parallel postulates absent until stronger geometric structure is imposed.
Not metric geometry. Length, distance, angle magnitude, and perpendicularity are absent until additional structure is introduced. Tell: Replace the familiar surface feature and test whether form of geometry without distances.
A detector, representation, or consequence. A method may reveal Ordered geometry, a notation may describe it, and an outcome may follow from it without any of those being identical to the abstraction. Tell: Would the defining relation remain if the present detector, notation, or downstream effect changed?
A metaphorical transfer. A case outside the home domain may resemble the structure while lacking its native role types and standards of warrant. Tell: If only the general organization survives, route the comparison to Pattern rather than treating it as another Ordered geometry instance.

References¶

Frozen Wikipedia revision: https://en.wikipedia.org/wiki/Ordered_geometry (revision 1278697109).
DOI: https://doi.org/10.1016/j.exmath.2010.09.004
DOI: https://doi.org/10.1215/00294527-2009-010
Supporting reference preserved in the packet: https://archive.org/details/introductiontoge0002coxe
Supporting reference preserved in the packet: https://archive.org/details/thirteenbooksofe00eucl/page/165

The frozen Wikipedia revision is discovery provenance. The cited source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; URL transport failure alone was not treated as substantive contradiction.