{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:09554153-3c86-4e74-bed8-77f8ade887be",
  "labels": {
    "zh-CN": "关系的传递性",
    "en": "transitive relation"
  },
  "alternative_labels": [
    {
      "lang": "en",
      "value": "transitive"
    },
    {
      "lang": "zh-CN",
      "value": "传递"
    }
  ],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "4f71e3adf5bc9b58a71125bbd776c80ffdf60712cb1c2d3713db5834bcaa6977",
  "occurrences": [
    {
      "concept_id": "urn:uuid:09554153-3c86-4e74-bed8-77f8ade887be",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-01/03-products-and-relations",
      "anchor": "first-16cddd3179afedd4e486-relation-zh",
      "chapter": "1",
      "section": "1.3",
      "offset": 3741,
      "range": [
        7931,
        8173
      ],
      "source_revision": "45666ab5cdd247b9b5146e4f9df67d1578c145c21402219499435dac061d8141",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "传递(transitive)",
      "context": {
        "range": [
          7235,
          8204
        ],
        "quote": "\n> [!definition] 关系的三种性质\n>\n> - <u class=\"concept-term\" data-concept-identity=\"urn:uuid:2396ddfd-f7f2-4e75-8107-4e0be31adab1\" data-concept-route=\"/concept-identities#concept-2396ddfd-f7f2-4e75-8107-4e0be31adab1\" id=\"first-d1aad3541c402ead298d-zh\">自反(reflexive)</u>：对所有 $a\\in S$，有 $aRa$。\n> - <span id=\"first-760eb7e9150caa9c7ef3-zh\" class=\"block-anchor\"></span><u class=\"concept-term\" data-concept-identity=\"urn:uuid:8634dc6a-08e3-49e9-941d-590b27f88cfe\" data-concept-route=\"/concept-identities#concept-8634dc6a-08e3-49e9-941d-590b27f88cfe\" id=\"first-760eb7e9150caa9c7ef3-relation-zh\">对称(symmetric)</u>：$aRb\\Rightarrow bRa$。\n> - <span id=\"first-16cddd3179afedd4e486-zh\" class=\"block-anchor\"></span><u class=\"concept-term\" data-concept-identity=\"urn:uuid:09554153-3c86-4e74-bed8-77f8ade887be\" data-concept-route=\"/concept-identities#concept-09554153-3c86-4e74-bed8-77f8ade887be\" id=\"first-16cddd3179afedd4e486-relation-zh\">传递(transitive)</u>：$aRb$ 且 $bRc\\Rightarrow aRc$。\n",
        "quote_sha256": "50f271590754697a5991e661f61bc73f617ca7fcb2a68601812cd846e497c4d9",
        "environment": "definition",
        "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-ab914a465093544cb35f0410"
    }
  ],
  "registered_positions": [
    {
      "route": "zh/chapter-01/03-products-and-relations",
      "lang": "zh-CN",
      "section": "1.3",
      "signal": "term-mark",
      "label": "传递",
      "english": "transitive",
      "offset": 2257
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-ab914a465093544cb35f0410"
  ],
  "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": "37daae4fa232ab8eaecc2d507fdb847075070b29d410aee465c5e7536f55b9e3",
  "optional_enrichments": []
}