{
  "schema_version": 1,
  "kind": "ConceptView",
  "producer": "concept-view-1",
  "concept_id": "urn:uuid:197008e2-3d14-48ff-ade5-a7008b2596cf",
  "labels": {
    "zh-CN": "真空真",
    "en": "vacuous truth"
  },
  "alternative_labels": [],
  "scope_note": "",
  "identity_status": "active",
  "identity_revision": "d9a5d015e9edd7b2fdf152ffd914747456b748fbcc8cfd12e2274c265db96a51",
  "occurrences": [
    {
      "concept_id": "urn:uuid:197008e2-3d14-48ff-ade5-a7008b2596cf",
      "book_id": "szekeres",
      "edition_id": "source-snapshot-bc3404156f6e",
      "lang": "zh-CN",
      "route": "zh/chapter-01/02-subsets-and-operations",
      "anchor": "first-5d6cb6950b9bdce72947-zh",
      "chapter": "1",
      "section": "1.2",
      "offset": 1041,
      "range": [
        4811,
        5048
      ],
      "source_revision": "ffa31a651177862dc364a3d608fa9436b86f2c4fa94485dad723b5f756c4c207",
      "source_category": "translation",
      "review_status": "unreviewed",
      "role": "occurrence",
      "role_basis": {
        "kind": "explicit-source-uuid-marker"
      },
      "label": "真空真(vacuous truth)",
      "context": {
        "range": [
          4452,
          5049
        ],
        "quote": "也可以称 $S$ 为 $T$ 的超集。<u class=\"concept-term\" data-concept-identity=\"urn:uuid:7a17e151-db88-404d-90a2-bc81151a1ad4\" data-concept-route=\"/concept-identities#concept-7a17e151-db88-404d-90a2-bc81151a1ad4\" id=\"first-bd987a52b36d75f7d2ff-zh\">空集(empty set)</u> $\\varnothing$ 不含任何元素，因此 $\\varnothing\\subseteq S$ 对所有集合 $S$ 成立。原因是子集定义中的前件 $a\\in\\varnothing$ 永不成立，蕴含式总为真，这称为<u class=\"concept-term\" data-concept-identity=\"urn:uuid:197008e2-3d14-48ff-ade5-a7008b2596cf\" data-concept-route=\"/concept-identities#concept-197008e2-3d14-48ff-ade5-a7008b2596cf\" id=\"first-5d6cb6950b9bdce72947-zh\">真空真(vacuous truth)</u>。",
        "quote_sha256": "bc3cd41e85fd70111893234867f52600943b71666aaed1cbbe2a7296ab18b574",
        "environment": null,
        "excerpt_omitted": false
      },
      "parallel_readings": [
        {
          "route": "en/chapter-01/02-subsets-and-operations",
          "lang": "en",
          "source_category": "original_transcription",
          "basis": "registered-book-edition-section-language-context; not-concept-equivalence"
        }
      ],
      "id": "occ-cb7188014c4f115be31aa791"
    }
  ],
  "registered_positions": [
    {
      "route": "zh/chapter-01/02-subsets-and-operations",
      "lang": "zh-CN",
      "section": "1.2",
      "signal": "term-mark",
      "label": "真空真",
      "english": "vacuous truth",
      "offset": 659
    }
  ],
  "statements": [],
  "resolved_references": [],
  "reading_order": [
    "occ-cb7188014c4f115be31aa791"
  ],
  "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": "c9fae2b29db6df238d4b7f7ff319cc171022bd6a85ef4cd26249e53e17ccf078",
  "optional_enrichments": []
}