{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "2BZ2ZXH03B"
    },
    {
      "field": "uses",
      "target": "3EG3HMEGWC"
    },
    {
      "field": "uses",
      "target": "3FYQZ4R6T8"
    },
    {
      "field": "uses",
      "target": "3TNVVAA1AG"
    },
    {
      "field": "uses",
      "target": "6HAZ0AKKAR"
    },
    {
      "field": "uses",
      "target": "73DXSAH73B"
    },
    {
      "field": "uses",
      "target": "A5D94C38HZ"
    },
    {
      "field": "uses",
      "target": "ARCYEPTR4Q"
    },
    {
      "field": "uses",
      "target": "DNBS22EV21"
    },
    {
      "field": "uses",
      "target": "DZGNHKE3X1"
    },
    {
      "field": "uses",
      "target": "ECB3W5EVK3"
    },
    {
      "field": "uses",
      "target": "G20G1ECN56"
    },
    {
      "field": "uses",
      "target": "HD8CK28AJC"
    },
    {
      "field": "uses",
      "target": "QTTW954WCK"
    },
    {
      "field": "uses",
      "target": "RHXP3HA64M"
    },
    {
      "field": "uses",
      "target": "VFKNNPVMTX"
    },
    {
      "field": "uses",
      "target": "W91HFP63SN"
    },
    {
      "field": "uses",
      "target": "WH3Z5M5D2R"
    },
    {
      "field": "uses",
      "target": "YAVH4RAEYJ"
    },
    {
      "field": "uses",
      "target": "Z937W8RW4N"
    },
    {
      "field": "uses",
      "target": "ZDNBCXDGTA"
    },
    {
      "field": "specializes",
      "target": "306PWGH7BF"
    },
    {
      "field": "specializes",
      "target": "3J0BTXSCVN"
    },
    {
      "field": "specializes",
      "target": "5TBC06NNS1"
    },
    {
      "field": "specializes",
      "target": "DA619M38C3"
    },
    {
      "field": "specializes",
      "target": "RXBD58SGXZ"
    },
    {
      "field": "about",
      "target": "G20G1ECN56"
    },
    {
      "field": "about",
      "target": "RHXP3HA64M"
    },
    {
      "field": "instance_of",
      "target": "H5G6TGRQH1"
    },
    {
      "field": "defines",
      "target": "N2Q4RS43FD"
    }
  ],
  "body": "\n## Summary\n\nA complete lattice is a partially ordered set in which every subset, finite or infinite, has a supremum and an infimum.\nIt is the setting of many fixed-point theorems, such as the [[Knaster–Tarski theorem|RHXP3HA64M]].\nPower sets, lattices of subgroups and lattices of closed sets of a topological space are complete lattices.\nEvery partially ordered set embeds in a complete lattice, its [[Dedekind–MacNeille completion|DKH4933HMQ]].\n\n## Explanations\n\n### L1 human\n\nIn a lattice, any two elements have a least upper bound and a greatest lower bound.\nA complete lattice asks the same for every collection of elements, even an infinite one.\nThe subsets of a set, ordered by inclusion, form a complete lattice: the least upper bound of any family is its union and the greatest lower bound is its intersection.\nThe real line is not complete in this sense, since the set of all integers has no upper bound, but the closed interval $[0, 1]$ is.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "06B23"
    ],
    "name": "Complete lattice",
    "same_as": {
      "wikidata": "Q2362924",
      "wikipedia": "Complete lattice"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Complete_lattice"
      }
    ],
    "specializes": [
      "WH4SFAACAS"
    ],
    "tag": "D7A0ZGZT5S"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/D7A0ZGZT5S/",
  "links": [
    {
      "field": "specializes",
      "target": "WH4SFAACAS"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/D7A0ZGZT5S.md",
  "msc": [
    "06B23"
  ],
  "name": "Complete lattice",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/D7A/D7A0ZGZT5S.md",
  "status": null,
  "tag": "D7A0ZGZT5S",
  "uri": "m2://D7A0ZGZT5S",
  "url": "https://tamnd.github.io/math2/wiki/complete-lattice/",
  "writing": {
    "tag": "D7A0ZGZT5S",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}