{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nA proper subgraph is a subgraph that removes at least one vertex or edge relative to the whole graph; for finite graphs, proper subgraphs are never isomorphic to the whole graph, but for infinite graphs they can be.\n\nA proper coloring is an assignment of colors to the vertices of a graph (a coloring) that assigns different colors to the endpoints of each edge; see color.\n\nA proper interval graph or proper circular arc graph is an intersection graph of a collection of intervals or circular arcs (respectively) such that no interval or arc contains another interval or arc. Proper interval graphs are also called unit interval graphs (because they can always be represented by unit intervals) or indifference graphs.\n",
  "commit": "68a8c3dc73fd55004b2796431c607c30960d1a85",
  "front": {
    "inventory": [
      "7DSTYYWS0B"
    ],
    "kind": "concept",
    "name": "Proper",
    "sources": [
      {
        "locator": "Glossary of graph theory, section P",
        "mention": "wikipedia://en/325802#QEQX",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:325802@r1373839425"
      }
    ],
    "tag": "JX8W4XD1VV"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/JX8W4XD1VV/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/JX8W4XD1VV.md",
  "msc": null,
  "name": "Proper",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/JX8/JX8W4XD1VV.md",
  "status": null,
  "tag": "JX8W4XD1VV",
  "uri": "m2://JX8W4XD1VV",
  "url": "https://math2.tamnd.com/wiki/proper/",
  "writing": {
    "tag": "JX8W4XD1VV",
    "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
      }
    ]
  }
}