{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\n**Axiom u1. *Boundary condition**\n\n*u*(*a*, 0) =*u*(0 ,*a*) = *a*\n\n**Axiom u2. *Monotonicity**\n\n*b* ≤ *d* implies *u*(*a*, *b*) ≤ *u*(*a*, *d*)\n\n**Axiom u3. *Commutativity**\n\n*u*(*a*, *b*) = *u*(*b*, *a*)\n\n**Axiom u4. *Associativity**\n\n*u*(*a*, *u*(*b*, *d*)) = *u*(*u*(*a*, *b*), *d*)\n\n**Axiom u5. *Continuity**\n\n*u* is a continuous function\n\n**Axiom u6. *Superidempotency**\n\n*u*(*a*, *a*) \u003e *a* for all 0 \\\u003c *a* \\\u003c 1\n\n**Axiom u7. *Strict monotonicity**\n\n*a*\u003csub\u003e1\u003c/sub\u003e \\\u003c *a*\u003csub\u003e2\u003c/sub\u003e and *b*\u003csub\u003e1\u003c/sub\u003e \\\u003c *b*\u003csub\u003e2\u003c/sub\u003e implies *u*(*a*\u003csub\u003e1\u003c/sub\u003e, *b*\u003csub\u003e1\u003c/sub\u003e) \\\u003c *u*(*a*\u003csub\u003e2\u003c/sub\u003e, *b*\u003csub\u003e2\u003c/sub\u003e)\n\nAxioms u1 up to u4 define a **t-conorm** (a.k.a. **s-norm** or **fuzzy union**). The standard t-conorm max is the only idempotent t-conorm (i. e. u (a1, a1) = a for all a ∈ \\[0,1\\]).\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "MGNCZXP7TB"
    ],
    "kind": "statement",
    "name": "Axioms for fuzzy union",
    "role": "proposition",
    "sources": [
      {
        "locator": "Fuzzy set operations, section Fuzzy unions \u003e Axioms for fuzzy union",
        "mention": "wikipedia://en/1651811#ZH7I",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:1651811@r1360435730"
      }
    ],
    "tag": "8QGXKM0000"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/8QGXKM0000/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/8QGXKM0000.md",
  "msc": null,
  "name": "Axioms for fuzzy union",
  "prov": null,
  "role": "proposition",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/8QG/8QGXKM0000.md",
  "status": null,
  "tag": "8QGXKM0000",
  "uri": "m2://8QGXKM0000",
  "url": "https://math2.tamnd.com/wiki/axioms-for-fuzzy-union/",
  "writing": {
    "tag": "8QGXKM0000",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}