{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "0T36P6TXQ6"
    },
    {
      "field": "uses",
      "target": "114KYR2JGP"
    },
    {
      "field": "uses",
      "target": "4085B8A528"
    },
    {
      "field": "uses",
      "target": "6HAZ0AKKAR"
    },
    {
      "field": "uses",
      "target": "6RDM3069KC"
    },
    {
      "field": "uses",
      "target": "984525NJS0"
    },
    {
      "field": "uses",
      "target": "BND6A96S3D"
    },
    {
      "field": "uses",
      "target": "C6GH4VHAMQ"
    },
    {
      "field": "uses",
      "target": "CDGBK86D23"
    },
    {
      "field": "uses",
      "target": "DCXJGS6E6D"
    },
    {
      "field": "uses",
      "target": "FAQ8ZJ4M0M"
    },
    {
      "field": "uses",
      "target": "GGBJDS5AV9"
    },
    {
      "field": "uses",
      "target": "JQ6FJH2TP8"
    },
    {
      "field": "uses",
      "target": "KKJ9F6JJY0"
    },
    {
      "field": "uses",
      "target": "ME8GM0VTWP"
    },
    {
      "field": "uses",
      "target": "S0DAGR1WN7"
    },
    {
      "field": "uses",
      "target": "SA22SEC75K"
    },
    {
      "field": "uses",
      "target": "TGNMG87Z6T"
    },
    {
      "field": "uses",
      "target": "W91HFP63SN"
    },
    {
      "field": "uses",
      "target": "WJ0D8QAMW0"
    },
    {
      "field": "about",
      "target": "4085B8A528"
    },
    {
      "field": "about",
      "target": "6RDM3069KC"
    },
    {
      "field": "about",
      "target": "C6GH4VHAMQ"
    },
    {
      "field": "about",
      "target": "DCXJGS6E6D"
    },
    {
      "field": "about",
      "target": "ME8GM0VTWP"
    },
    {
      "field": "about",
      "target": "SA22SEC75K"
    },
    {
      "field": "specializes",
      "target": "5Q53XWV0QN"
    },
    {
      "field": "specializes",
      "target": "6G03V0BVZT"
    },
    {
      "field": "specializes",
      "target": "ESYKDNZF8E"
    },
    {
      "field": "specializes",
      "target": "NG943XNQWH"
    },
    {
      "field": "specializes",
      "target": "T5GK6DH8BR"
    },
    {
      "field": "specializes",
      "target": "ZK1MHTQGS9"
    },
    {
      "field": "instance_of",
      "target": "850Y7GFENR"
    },
    {
      "field": "instance_of",
      "target": "ESPDZT91QP"
    },
    {
      "field": "not_instance_of",
      "target": "JQ6FJH2TP8"
    }
  ],
  "body": "\n## Summary\n\nA distributive lattice is a lattice in which meet and join distribute over each other. Lattices of sets and Boolean algebras are the main examples. The node [[distributive lattice|0T36P6TXQ6]] gives the precise definition.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "inventory": [
      "1D6X6Z7F00"
    ],
    "kind": "concept",
    "msc": [
      "06D05"
    ],
    "name": "Distributive lattice",
    "same_as": {
      "wikidata": "Q2363730",
      "wikipedia": "Distributive lattice"
    },
    "sources": [
      {
        "locator": "Definition",
        "url": "https://en.wikipedia.org/wiki/Distributive_lattice"
      }
    ],
    "tag": "0HM0HQCK6N"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/0HM0HQCK6N/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/0HM0HQCK6N.md",
  "msc": [
    "06D05"
  ],
  "name": "Distributive lattice",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/0HM/0HM0HQCK6N.md",
  "status": null,
  "tag": "0HM0HQCK6N",
  "uri": "m2://0HM0HQCK6N",
  "url": "https://tamnd.github.io/math2/wiki/distributive-lattice/",
  "writing": {
    "tag": "0HM0HQCK6N",
    "kind": "concept",
    "level": "W2",
    "next": [
      {
        "what": "section Motivation",
        "note": "the question that the notion answers",
        "have": 0,
        "want": 1
      },
      {
        "what": "section History",
        "note": "who introduced the notion and when",
        "have": 0,
        "want": 1
      },
      {
        "what": "explanations for the audience",
        "have": 0,
        "want": 3
      },
      {
        "what": "a person confirmed each agent-written section",
        "note": "rule P04",
        "have": 0,
        "want": 1
      }
    ]
  }
}