{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:d174ff8b-b83a-45b5-9080-8dfedd238cb1",
  "labels": {
    "zh-CN": "选择函数",
    "en": "choice function"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "ee593bb87fd6ef78557e51bdd27c87dfa49168fa678bab4a44bfec60a2b70314",
  "occurrences": [
    {
      "concept_id": "urn:uuid:d174ff8b-b83a-45b5-9080-8dfedd238cb1",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-01/05-infinite-sets",
      "anchor": "first-17a5b1f09970c5451069-zh",
      "chapter": "1",
      "section": "1.5",
      "offset": 7286,
      "range": [
        11915,
        12155
      ],
      "source_revision": "de98ef3b57633eb615044c4c10101bc445e6695597e0d0703fc5fd583f6a2664",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "选择函数(choice function)",
      "context": {
        "range": [
          11843,
          12226
        ],
        "quote": "\n> [!definition] 选择公理\n>\n> 对一族**非空**集合 $\\mathcal S=\\{S_i\\mid i\\in I\\}$，存在<u class=\"concept-term\" data-concept-identity=\"urn:uuid:d174ff8b-b83a-45b5-9080-8dfedd238cb1\" data-concept-route=\"/concept-identities#concept-d174ff8b-b83a-45b5-9080-8dfedd238cb1\" id=\"first-17a5b1f09970c5451069-zh\">选择函数(choice function)</u>\n>\n> $$\n> f:I\\to\\bigcup\\mathcal S,qquad f(i)\\in S_i\\quad(i\\in I).\n> $$\n",
        "quote_sha256": "9ddf6b1283fb4d5accbe77839140be435935aeff00ca3a8c7c6f9787cc6dd023",
        "environment": "definition",
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-01/05-infinite-sets",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-3f5ba7f3d8e5bd284d8389bd"
    }
  ],
  "registered_positions": [
    {
      "route": "zh/chapter-01/05-infinite-sets",
      "lang": "zh-CN",
      "section": "1.5",
      "signal": "term-mark",
      "label": "选择函数",
      "english": "choice function",
      "offset": 5594
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-3f5ba7f3d8e5bd284d8389bd"
  ],
  "recorded_dependencies": [],
  "reading_paths": [],
  "coverage": {
    "registered_positions": 1,
    "located_occurrences": 1,
    "whole_book_search_complete": false,
    "registered_positions_truncated": false,
    "independent_human_review_implied": false
  },
  "unresolved": [],
  "base_revision": "ce5bcae74f55517469303d5016d4349646666767e69d913f55ba2eab16694760",
  "optional_enrichments": []
}