{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "74JREVZVY3"
    },
    {
      "field": "defines",
      "target": "SZ9X10ATEK"
    }
  ],
  "body": "\n## Summary\n\nA bounded poset is a [[partially ordered set|011C29Q1S1]] that has both a [[greatest element|0Z7HDDXX3X]] and a [[least element|0T2NTJCV83]].\nThese are called top and bottom and written $\\top$ and $\\bot$, or $1$ and $0$.\nBounded posets are the setting for complements in [[lattices|WH4SFAACAS]].\n\n## Explanations\n\n### L1 human\n\nA bounded poset has a top element above everything and a bottom element below everything.\nThe subsets of a set, ordered by inclusion, form a bounded poset: the empty set is the bottom and the whole set is the top.\nThe closed interval $[0, 1]$ with its usual order is bounded, with bottom $0$ and top $1$.\nThe natural numbers are not bounded: they have a bottom, $0$, but no top.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "06A06"
    ],
    "name": "Bounded poset",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Greatest_element_and_least_element"
      }
    ],
    "specializes": [
      "0QV2JS9RJ3"
    ],
    "tag": "B0QT3SM5DT"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/B0QT3SM5DT/",
  "links": [
    {
      "field": "specializes",
      "target": "0QV2JS9RJ3"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/B0QT3SM5DT.md",
  "msc": [
    "06A06"
  ],
  "name": "Bounded poset",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/B0Q/B0QT3SM5DT.md",
  "status": null,
  "tag": "B0QT3SM5DT",
  "uri": "m2://B0QT3SM5DT",
  "url": "https://tamnd.github.io/math2/wiki/bounded-poset/",
  "writing": {
    "tag": "B0QT3SM5DT",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}