{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Definition\n\nLet $\\Pi$ be a set of points with a family of subsets called [[lines|0MP9BCF6DP]].\nLet $[ABC]$ be a ternary relation on $\\Pi$, read \"$B$ lies [[between|CE8GX6ADZS]] $A$ and $C$\".\nThen $\\Pi$ is an *ordered plane* if:\n\n1. Two distinct points lie on exactly one line, each line has at least two points, and there are three points not on one line.\n2. If $[ABC]$, then $A$, $B$, $C$ are three distinct points of one line, and $[CBA]$.\n3. For distinct points $A$ and $C$, there is a point $B$ with $[ACB]$.\n4. Of three distinct points of a line, at most one lies between the other two.\n5. [[Pasch's axiom|KJT98G16Y4]] holds.\n\n*Ordered geometry* is the study of the consequences of these axioms, and of their analogues in higher dimensions.\n\n## Remarks\n\nExample: the plane $F^2$ over an ordered field $F$, with the usual lines and with $[ABC]$ meaning $B = A + t(C - A)$ for some $t \\in F$ with $0 \u003c t \u003c 1$, is an ordered plane.\nNon-example: take $\\R^2$ with the usual lines, and let $[ABC]$ mean that $A$, $B$, $C$ are three distinct points of one line.\nThis fails clause 4, since each of three collinear points then lies between the other two.\nOne proves from the axioms that, of three distinct collinear points, exactly one lies between the other two.\nThe Sylvester–Gallai theorem holds in every ordered plane.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "defines": "T7G8X5AD5G",
    "kind": "definition",
    "msc": [
      "51G05"
    ],
    "name": "Ordered geometry",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Ordered_geometry"
      }
    ],
    "tag": "N56DHWH283",
    "uses": [
      "0MP9BCF6DP",
      "CE8GX6ADZS",
      "KJT98G16Y4"
    ]
  },
  "kind": "definition",
  "link": "https://tamnd.github.io/math2/node/N56DHWH283/",
  "links": [
    {
      "field": "defines",
      "target": "T7G8X5AD5G"
    },
    {
      "field": "uses",
      "target": "0MP9BCF6DP"
    },
    {
      "field": "uses",
      "target": "CE8GX6ADZS"
    },
    {
      "field": "uses",
      "target": "KJT98G16Y4"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/N56DHWH283.md",
  "msc": [
    "51G05"
  ],
  "name": "Ordered geometry",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/N56/N56DHWH283.md",
  "status": null,
  "tag": "N56DHWH283",
  "uri": "m2://N56DHWH283",
  "url": "https://tamnd.github.io/math2/wiki/ordered-geometry-definition/",
  "writing": {
    "tag": "N56DHWH283",
    "kind": "definition",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}