Аксіоми порядку
Аксіома 1
Якщо точка В прямої лежаить між точками А та С, то А, В та С - різні точки прямої, причому В лежить також між точками С та А.
Аксіома 2
Для довільних двох різних точок А та С, на прямій, що ними визначається, існує принаймні одна точка В, що лежить між точками А та С, та існує принаймні одна точка D, така що точка С лежить між точками А та D.
Аксіома 3
Серед довільних трьох точок, які лежать на одній прямій, існує не більше однієї точки, яка лежить між двома іншими.