{
  "aliases": [
    "complete-relation",
    "connex-logic",
    "connex-mathematics",
    "connex-relation",
    "connexity",
    "semi-connex-relation",
    "semiconnex-relation",
    "strongly-connected-relation",
    "total-relation-order"
  ],
  "backlinks": null,
  "body": "\n## Summary\n\nIn mathematics, a relation on a set is called **connected** or **complete** or **total** if it relates (or \"compares\") all distinct pairs of elements of the set in one direction or the other while it is called **strongly connected** if it relates all pairs of elements. As described in the terminology section below, the terminology for these properties is not uniform. This notion of \"total\" should not be confused with that of a total relation in the sense that for all $x \\in X$ there is a $y \\in X$ so that $x \\mathrel{R} y$ (see serial relation).\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "aliases": [
      "complete-relation",
      "connex-logic",
      "connex-mathematics",
      "connex-relation",
      "connexity",
      "semi-connex-relation",
      "semiconnex-relation",
      "strongly-connected-relation",
      "total-relation-order"
    ],
    "inventory": [
      "7YHBKPCQZV"
    ],
    "kind": "concept",
    "name": "Connected relation",
    "same_as": {
      "wikidata": "Q2481270",
      "wikipedia": "Connected relation"
    },
    "sources": [
      {
        "locator": "Connected relation",
        "mention": "wikipedia://en/57495962",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:57495962@r1357323844"
      }
    ],
    "tag": "NJ13KN813B"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/NJ13KN813B/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/NJ13KN813B.md",
  "msc": null,
  "name": "Connected relation",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/NJ1/NJ13KN813B.md",
  "status": null,
  "tag": "NJ13KN813B",
  "uri": "m2://NJ13KN813B",
  "url": "https://math2.tamnd.com/wiki/connected-relation/",
  "writing": {
    "tag": "NJ13KN813B",
    "kind": "concept",
    "level": "W1",
    "next": [
      {
        "what": "edge defines in",
        "note": "at least one definition",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge instance_of in",
        "note": "at least two examples",
        "have": 0,
        "want": 2
      },
      {
        "what": "edge not_instance_of in",
        "note": "at least one non-example",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge specializes both",
        "note": "the more general notions and the special cases",
        "have": 0,
        "want": 1
      }
    ]
  }
}