Welcome guest
You're not logged in.
309 users online, thereof 0 logged in

Axiom: "Between" Relation, Axioms of Order

Let $\mathcal P_l$ be a set of “points” that lie on a given straight line $l$. The between relation is a relation $R\subseteq \mathcal P_l\times \mathcal P_l\times \mathcal P_l$ fulfilling the following axioms:

Linear Axioms

  1. If a point $B$ lies between a point $A$ and a point $C,$ then all these points are distinct and $B$ also lies between $C$ and $A.$

  1. For any two points $A$, $C$ that lie on a straight line there is at least another point $B$ on that straight line such that $C$ lies between $A$ and $B$.

  1. Of any three points that lie on a straight line, there is no more than one which lies between the other two.

Plane Axiom

  1. Let $g$ be a straight line in a plane determined by three points $A$, $B,$ and $C$ such that none of these points lie on $g.$ If there is a point $D$ between $A$ and $B$ that lies on $g$, then there is also a point $E$ such that it lies on $g$ and also it lies either between $A$ and $C,$ or between $B$ and $C.$

| | | | | created: 2019-12-26 15:04:45 | modified: 2019-12-26 15:11:54 | by: bookofproofs | references: [8324]

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:


Bibliography (further reading)

[8324] Hilbert, David: “Grundlagen der Geometrie”, Leipzig, B.G. Teubner, 1903