{
  "aliases": [
    "totally-bounded-space",
    "precompact-set"
  ],
  "backlinks": [
    {
      "field": "defines",
      "target": "0WE5BBHGM6"
    }
  ],
  "body": "\n## Summary\n\nA subset of a metric space is totally bounded when, for each size, it can be covered by finitely many pieces of that size.\nCompact sets are exactly the totally bounded sets that are complete.\n",
  "commit": "545acf83a9b75c8ddc375ef8b23d2ae101a4d7e4",
  "front": {
    "aliases": [
      "totally-bounded-space",
      "precompact-set"
    ],
    "kind": "concept",
    "msc": [
      "54E35"
    ],
    "name": "Totally bounded set",
    "same_as": {
      "wikidata": "Q1362228",
      "wikipedia": "Totally bounded space"
    },
    "sources": [
      {
        "locator": "lead section",
        "url": "https://en.wikipedia.org/wiki/Totally_bounded_space"
      }
    ],
    "tag": "020Q06TYYH"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/020Q06TYYH/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/020Q06TYYH.md",
  "msc": [
    "54E35"
  ],
  "name": "Totally bounded set",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/020/020Q06TYYH.md",
  "status": null,
  "tag": "020Q06TYYH",
  "uri": "m2://020Q06TYYH",
  "url": "https://math2.tamnd.com/wiki/totally-bounded-set/",
  "writing": {
    "tag": "020Q06TYYH",
    "kind": "concept",
    "level": "W1",
    "next": [
      {
        "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
      }
    ]
  }
}