{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nA subgraph of given graph $G$ is maximal for a particular property if it has that property but no other supergraph of it that is also a subgraph of $G$ also has the same property. That is, it is a maximal element of the subgraphs with the property. For instance, a maximal clique is a complete subgraph that cannot be expanded to a larger complete subgraph. The word \"maximal\" should be distinguished from \"maximum\": a maximum subgraph is always maximal, but not necessarily vice versa.\n\nA simple graph with a given property is maximal for that property if it is not possible to add any more edges to it (keeping the vertex set unchanged) while preserving both the simplicity of the graph and the property. Thus, for instance, a maximal planar graph is a planar graph such that adding any more edges to it would create a non-planar graph.\n",
  "commit": "68a8c3dc73fd55004b2796431c607c30960d1a85",
  "front": {
    "inventory": [
      "HHKBFFVEH5"
    ],
    "kind": "concept",
    "name": "Maximal",
    "sources": [
      {
        "locator": "Glossary of graph theory, section M",
        "mention": "wikipedia://en/325802#N230",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:325802@r1373839425"
      }
    ],
    "tag": "91W1A6YHQW"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/91W1A6YHQW/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/91W1A6YHQW.md",
  "msc": null,
  "name": "Maximal",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/91W/91W1A6YHQW.md",
  "status": null,
  "tag": "91W1A6YHQW",
  "uri": "m2://91W1A6YHQW",
  "url": "https://math2.tamnd.com/wiki/maximal/",
  "writing": {
    "tag": "91W1A6YHQW",
    "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
      }
    ]
  }
}