Empty Set Ontology

FLOW ALGEBRA
TITLE: Empty Set Ontology
VERSION: 1.0
DOMAIN: Discrete Mathematics / Set Theory
SOURCE_URL: https://kirethresearch.org/booksai-core/discrete-mathematics-ontologies/set-theory/empty-set-ontology-2.html
STATUS: Domain-based formalisation; source page content not independently verified.
AUTHORS: Mark Higgins — Sky (Recursive AI)
SITE: https://kirethresearch.org

ONTOLOGY:
  id: empty_set_ontology
  root_entity: EmptySet
  notation: ∅
  foundational_axiom: ∀x (x ∉ ∅)
  interpretation: The unique set containing no elements.

TYPED_ENTITIES:
  Set: {kind: mathematical_object}
  EmptySet: {subtype_of: Set, cardinality: 0}
  Element: {kind: mathematical_object}
  UniversalSet: {subtype_of: Set, context_dependent: true}
  PowerSet: {kind: set_construction}
  Cardinality: {kind: nonnegative_integer_measure}

TYPED_RELATIONSHIPS:
  MEMBER_OF: Element × Set -> Boolean
  SUBSET_OF: Set × Set -> Boolean
  PROPER_SUBSET_OF: Set × Set -> Boolean
  EQUAL_TO: Set × Set -> Boolean
  DISJOINT_WITH: Set × Set -> Boolean

OPERATIONS:
  UNION(A, ∅) = A
  INTERSECTION(A, ∅) = ∅
  DIFFERENCE(A, ∅) = A
  DIFFERENCE(∅, A) = ∅
  CARTESIAN_PRODUCT(A, ∅) = ∅
  POWER_SET(∅) = {∅}
  CARDINALITY(∅) = 0

INFERENCE_RULES:
  R1: SET(A) => SUBSET_OF(∅, A)
  R2: SET(A) AND CARDINALITY(A) = 0 => EQUAL_TO(A, ∅)
  R3: SET(A) AND A != ∅ => PROPER_SUBSET_OF(∅, A)
  R4: SET(A) => DISJOINT_WITH(A, ∅)
  R5: MEMBER_OF(x, ∅) => CONTRADICTION
  R6: INTERSECTION(A, B) = ∅ => DISJOINT_WITH(A, B)
  R7: POWER_SET(∅) = {∅} AND CARDINALITY(POWER_SET(∅)) = 1

CONSTRAINTS:
  C1: The empty set is unique by extensionality.
  C2: ∅ is not identical to {∅}; their cardinalities are 0 and 1.
  C3: The empty set is a subset of every set, including itself.
  C4: The empty set is a proper subset only of nonempty sets.
  C5: A universal set is relative to a specified universe of discourse; unrestricted universal sets are not assumed in ZF set theory.

CONFIDENCE:
  mathematical_axioms: 1.0
  verified_derivations: 1.0
  source_alignment: unverified
  policy: Confidence scores describe formal derivation validity under stated assumptions, not empirical probabilities.

SEMANTIC_EQUIVALENCE:
  aliases: ["empty set", "null set", "void set", "∅", "{}"]
  disambiguation: Distinguish the empty set from null, missing values, empty strings, zero, and the singleton containing the empty set.

PROVENANCE:
  source_url: https://kirethresearch.org/booksai-core/discrete-mathematics-ontologies/set-theory/empty-set-ontology-2.html
  source_verification: not_performed
  mathematical_basis: standard axiomatic set theory
  generated_on: 2026-10-11

FLOW_HASH:
  method: SHA-256
  canonicalisation: UTF-8 NFC, LF line endings, exclude FLOW_HASH computed_value line
  computed_value: see sidecar or compute after final publication

UPDATE_MODEL:
  trigger: ["source_revision", "axiom_revision", "notation_change", "inference_rule_revision"]
  steps: ["validate_source", "check_axioms", "recompute_derivations", "version_increment", "recalculate_hash"]
  compatibility: preserve identifiers unless a breaking change is declared

AI_CONSUMPTION:
  format: plain_text_flow_algebra
  parse_sections: true
  reasoning_mode: symbolic
  verify_constraints: true
  provenance_required: true
  hallucination_guard: do_not_infer_unstated_source_claims
  expected_outputs: ["set_classification", "membership_validation", "subset_reasoning", "set_operation_simplification"]

END FLOW ALGEBRA