{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nA dual of Dilworth's theorem states that the size of the largest chain in a partial order (if finite) equals the smallest number of antichains into which the order may be partitioned. This is called Mirsky's theorem. Its proof is much simpler than the proof of Dilworth's theorem itself: for any element *x*, consider the chains that have *x* as their largest element, and let *N*(*x*) denote the size of the largest of these *x*-maximal chains. Then each set *N*\u003csup\u003e−1\u003c/sup\u003e(*i*), consisting of elements that have equal values of *N*, is an antichain, and these antichains partition the partial order into a number of antichains equal to the size of the largest chain.\n",
  "commit": "1696dfa6ac9eeb239262bb8121a4817855ba7e8d",
  "front": {
    "inventory": [
      "R40ZCWSX32"
    ],
    "kind": "statement",
    "name": "Dual of Dilworth's theorem (Mirsky's theorem)",
    "role": "theorem",
    "sources": [
      {
        "locator": "Dilworth's theorem, section Dual of Dilworth's theorem (Mirsky's theorem)",
        "mention": "wikipedia://en/749033#0W8E",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:749033@r1305701504"
      }
    ],
    "tag": "T92G094ATY"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/T92G094ATY/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/T92G094ATY.md",
  "msc": null,
  "name": "Dual of Dilworth's theorem (Mirsky's theorem)",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/T92/T92G094ATY.md",
  "status": null,
  "tag": "T92G094ATY",
  "uri": "m2://T92G094ATY",
  "url": "https://math2.tamnd.com/wiki/dual-of-dilworths-theorem-mirskys-theorem/",
  "writing": {
    "tag": "T92G094ATY",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}