{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:0dec91e9-170a-4043-84b7-74ce4d1ab250",
  "labels": {
    "zh-CN": "偏序集",
    "en": "partially ordered set"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "5370a943d1b7362d366c84e7298c76980f271a21fe8d64e183a72f9df82420f7",
  "occurrences": [
    {
      "concept_id": "urn:uuid:0dec91e9-170a-4043-84b7-74ce4d1ab250",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-01/03-products-and-relations",
      "anchor": "first-4c69fe0545865206bb51-zh",
      "chapter": "1",
      "section": "1.3",
      "offset": 7650,
      "range": [
        11840,
        12085
      ],
      "source_revision": "45666ab5cdd247b9b5146e4f9df67d1578c145c21402219499435dac061d8141",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "偏序集(partially ordered set)",
      "context": {
        "range": [
          11831,
          12157
        ],
        "quote": "集合连同其偏序称为<u class=\"concept-term\" data-concept-identity=\"urn:uuid:0dec91e9-170a-4043-84b7-74ce4d1ab250\" data-concept-route=\"/concept-identities#concept-0dec91e9-170a-4043-84b7-74ce4d1ab250\" id=\"first-4c69fe0545865206bb51-zh\">偏序集(partially ordered set)</u>，写为 $(S,\\leq)$。这是“带结构的集合”的第一个例子。“集合连同结构”可以形式化为有序对，但把所有表达都展开成集合并不能自动帮助理解。",
        "quote_sha256": "58b9fe2aaf8ab10a68741e135698862b9c4d7c48de5f1dc8ba52dc425dbfa723",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-01/03-products-and-relations",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-ff9829c2e3453bd7f911de42"
    }
  ],
  "registered_positions": [
    {
      "route": "zh/chapter-01/03-products-and-relations",
      "lang": "zh-CN",
      "section": "1.3",
      "signal": "term-mark",
      "label": "偏序集",
      "english": "partially ordered set",
      "offset": 4556
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-ff9829c2e3453bd7f911de42"
  ],
  "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": "641dc5947307ed8e2d7709be7480b87126ca1e6d3f0dda02ccecdf0150b63c26",
  "optional_enrichments": []
}