sets Directory Reference

Directory dependency graph for sets:

Files
	boundaries.cppm
	The Extremal Identities: Universal (V) and Empty (∅) Sets.
	cardinality.cppm
	Cardinality types and the one-word extensional cardinal carrier.
	computability.cppm
	Decidable membership as a compile-time observable.
	expressions.cppm
	Set-builder DSL — comprehension + Boolean connectives.
	extensional.cppm
	ExtensionalSet — the canonical small-finite extensional carrier, with std::set / std::unordered_set round-trips.
	heterogeneous.cppm
	Set expressions ACROSS carriers: the product \(A \times B\), the sum \(A + B\), and the one widening the library ships, ℕ ↪ ℤ.
	quantifier.cppm
	Bounded first-order quantifiers as set operations: \(\exists\) is non-emptiness of a comprehension, \(\forall\) its \(\neg\exists\neg\) dual.
	recursion.cppm
	Inductive sets: χ, the classifier under definition, inside its own comprehension; the former closes the recursion and admits only a descent.
	sets.cppm
	The Dedekind Set Model: Concrete Collections and Set Morphisms.
	singleton.cppm
	The equality atom: the point {x} as a comprehension over 𝔸<T>.
	terms.cppm
	The term grammar of comprehensions: projections, constants carried as values, arithmetic, arrows applied to terms, conditionals; the comparison atom over two terms; the pointwise connectives of relational predicates.