# Set Theory > What members exist? Record: `reasoning:math-type-set-theory` Kind: math-type Canonical: https://banes-lab.com/ontology/reasoning#reasoning-math-type-set-theory Listed in [Reasoning records](https://banes-lab.com/api/records/reasoning.md), after [Category Theory](https://banes-lab.com/records/reasoning/math-domain-category-theory.md) and before [Logic](https://banes-lab.com/records/reasoning/math-type-logic.md). ## Contracts - [Evidence-Before-Generation](https://banes-lab.com/records/algorithms/evidence-before-generation.md) - [Capability Profile](https://banes-lab.com/records/algorithms/capability-profile.md) - [Scope Extraction](https://banes-lab.com/records/algorithms/scope-extraction.md) - [Domain Knowledge Base](https://banes-lab.com/records/algorithms/domain-knowledge-base.md) - [Existing Pattern Extraction](https://banes-lab.com/records/algorithms/existing-pattern-extraction.md) - [DSL Compliance Loading](https://banes-lab.com/records/algorithms/dsl-compliance-loading.md) - [Workspace Configuration Discovery](https://banes-lab.com/records/algorithms/workspace-configuration-discovery.md) - [Smell Taxonomy](https://banes-lab.com/records/algorithms/smell-taxonomy.md) - [Responsibility Boundary](https://banes-lab.com/records/algorithms/responsibility-boundary.md) - [Canonical Data](https://banes-lab.com/records/algorithms/canonical-data.md) - [Self-Description Manifest](https://banes-lab.com/records/algorithms/self-description-manifest.md) - [Runtime Discovery](https://banes-lab.com/records/algorithms/runtime-discovery.md) - [Canonical Semantics](https://banes-lab.com/records/algorithms/canonical-semantics.md) - [Self-Description and Discovery](https://banes-lab.com/records/algorithms/self-description-and-discovery.md) - [Concept Cluster Extraction](https://banes-lab.com/records/algorithms/concept-cluster-extraction.md) - [Capability Degradation](https://banes-lab.com/records/algorithms/capability-degradation.md) - [Automation Opportunity Detection](https://banes-lab.com/records/algorithms/automation-opportunity-detection.md) - [Capability Disclosure](https://banes-lab.com/records/algorithms/capability-disclosure.md) - [Detection Registry](https://banes-lab.com/records/algorithms/detection-registry.md) - [Orientation Stage](https://banes-lab.com/records/algorithms/orientation-stage.md) - [Authoritative Source Loading](https://banes-lab.com/records/algorithms/authoritative-source-loading.md) - [Skeptical Context Acquisition](https://banes-lab.com/records/algorithms/skeptical-context-acquisition.md) - [Explicit Termination](https://banes-lab.com/records/algorithms/explicit-termination.md) - [Context Initialization](https://banes-lab.com/records/algorithms/context-initialization.md) - [Early Success Exit](https://banes-lab.com/records/algorithms/early-success-exit.md) - [Trust Anchor Declaration](https://banes-lab.com/records/algorithms/trust-anchor-declaration.md) - [Duplicate Disposition Walk](https://banes-lab.com/records/algorithms/duplicate-disposition-walk.md) - [Lifetime Resolution](https://banes-lab.com/records/algorithms/lifetime-resolution.md) - [Coverage Workspace](https://banes-lab.com/records/algorithms/coverage-workspace.md) - [Surface Grid Walk](https://banes-lab.com/records/algorithms/surface-grid-walk.md) - [PAG Document Declaration](https://banes-lab.com/records/algorithms/pag-document-declaration.md) - [PAG Keyword Ontology](https://banes-lab.com/records/algorithms/pag-keyword-ontology.md) - [Analysis Workspace](https://banes-lab.com/records/algorithms/analysis-workspace.md) - [Registry Baseline](https://banes-lab.com/records/algorithms/registry-baseline.md) - [Semantic Domain Partitioning](https://banes-lab.com/records/algorithms/semantic-domain-partitioning.md) - [Cross-Class Pattern Detection](https://banes-lab.com/records/algorithms/cross-class-pattern-detection.md) - [Temporal Coupling Detection](https://banes-lab.com/records/algorithms/temporal-coupling-detection.md) - [Profile Compose](https://banes-lab.com/records/algorithms/profile-compose.md) - [Seed Composition](https://banes-lab.com/records/algorithms/seed-composition.md) - [Token Source-of-Truth](https://banes-lab.com/records/algorithms/token-source-of-truth.md) - [Custom Type Registration](https://banes-lab.com/records/algorithms/custom-type-registration.md) - [Taxonomy Jurisdiction](https://banes-lab.com/records/algorithms/taxonomy-jurisdiction.md) ## Math domains - [set-theory](https://banes-lab.com/records/reasoning/math-domain-set-theory.md) ## Primary math type of - [Ontology](https://banes-lab.com/records/reasoning/axis-ontology.md) - [Termination](https://banes-lab.com/records/reasoning/axis-termination.md) ## Math type of - [Identity](https://banes-lab.com/records/reasoning/node-ont-identity.md) - [Composition](https://banes-lab.com/records/reasoning/node-ont-composition.md) - [State](https://banes-lab.com/records/reasoning/node-ont-state.md) - [Observation](https://banes-lab.com/records/reasoning/node-rea-observation.md) - [Classification](https://banes-lab.com/records/reasoning/node-rea-classification.md) - [Existence](https://banes-lab.com/records/reasoning/node-for-existence.md) - [Absence](https://banes-lab.com/records/reasoning/node-for-absence.md) - [Evidence](https://banes-lab.com/records/reasoning/node-ver-evidence.md) - [Population](https://banes-lab.com/records/reasoning/node-ver-population.md) - [Refusal](https://banes-lab.com/records/reasoning/node-ver-refusal.md) - [Located Observation](https://banes-lab.com/records/reasoning/node-ver-observation.md) - [Completion](https://banes-lab.com/records/reasoning/node-ter-completion.md) - [Saturation](https://banes-lab.com/records/reasoning/node-ter-saturation.md) - [Promotion](https://banes-lab.com/records/reasoning/node-ter-promotion.md) - [Existence](https://banes-lab.com/records/reasoning/substrate-node-existence.md) ## Linked from - [Agent creation](https://banes-lab.com/ontology/algorithms/algorithms-domain-agent-creation.md) - [Agent workflow](https://banes-lab.com/ontology/algorithms/algorithms-domain-agent-workflow.md) - [Anti-patterns](https://banes-lab.com/ontology/algorithms/algorithms-domain-anti-patterns.md) - [Architecture](https://banes-lab.com/ontology/algorithms/algorithms-domain-architecture.md) - [Architecture relationships](https://banes-lab.com/ontology/algorithms/algorithms-domain-arch-relationships.md) - [Automation](https://banes-lab.com/ontology/algorithms/algorithms-domain-automation.md) - [Centralization](https://banes-lab.com/ontology/algorithms/algorithms-domain-centralization.md) - [Checklist creation](https://banes-lab.com/ontology/algorithms/algorithms-domain-checklist-creation.md) - [Codebase verification](https://banes-lab.com/ontology/algorithms/algorithms-domain-codebase-verification.md) - [Context verification](https://banes-lab.com/ontology/algorithms/algorithms-domain-context-verification.md) - [Coordination](https://banes-lab.com/ontology/algorithms/algorithms-domain-coordination.md) - [Test coverage](https://banes-lab.com/ontology/algorithms/algorithms-domain-test-coverage.md) - [Pattern Abstract Grammar](https://banes-lab.com/ontology/algorithms/algorithms-domain-pag.md) - [Pattern distillation](https://banes-lab.com/ontology/algorithms/algorithms-domain-pattern-distillation.md) - [Living profile](https://banes-lab.com/ontology/algorithms/algorithms-domain-living-profile.md) - [CSS cascade](https://banes-lab.com/ontology/algorithms/algorithms-domain-css-cascade.md) - [Taxonomy](https://banes-lab.com/ontology/algorithms/algorithms-domain-taxonomy.md) - [The substrate](https://banes-lab.com/ontology/reasoning/the-substrate.md) - [The axes](https://banes-lab.com/ontology/reasoning/the-axes.md) - [The nodes](https://banes-lab.com/ontology/reasoning/the-nodes.md)