Set Theory
A discipline is a lens, not an owner — the same idea can be viewed through many.
Concepts viewed through this lens
These numbers describe the current Thinking OS knowledge slice, not the whole field.
Disciplines it bridges to
Each bridge is built by ideas the two fields share, the thinking patterns that recur across both, and a representative relationship that shows how they connect.
Set Theoryconnects toMathematics
Shared concepts
Shared thinking patterns
Why this bridge exists
Cartesian coordinate system enables Function — Cartesian coordinate system enables function.
Explore this connection →Set Theoryconnects toAlgebra
Shared concepts
Shared thinking patterns
Why this bridge exists
Function depends on Variable — function depends on variable.
Explore this connection →Set Theoryconnects toLogic
Shared concepts
Shared thinking patterns
Why this bridge exists
Axiom of choice is part of ZFC axioms — The C in ZFC.
Explore this connection →Set Theoryconnects toGeometry
Why this bridge exists
Cartesian coordinate system enables Function — Cartesian coordinate system enables function.
Explore this connection →Set Theoryconnects toCalculus
Why this bridge exists
Continuous function is a Function — continuous function is a kind of function.
Explore this connection →Set Theoryconnects toCategory Theory
Why this bridge exists
Morphism is analogous to Function — A morphism generalises a function.
Explore this connection →Set Theoryconnects toDiscrete Mathematics
Shared concepts
Set Theoryconnects toLinear Algebra
Why this bridge exists
Set is part of Vector space — set is part of vector space.
Explore this connection →
Field shape — representation health
57/100 overall · 15 concepts
The eight dimensions measure Thinking OS coverage of this field, not the quality or importance of the discipline.
What kind of structure is this field?
Interpreted from the current atlas — how this field is represented, not a judgement of the field.
Representation health 57/100 — dense but shallow. Strongest: cross-disciplinary, taxonomy. Thinnest: factual depth, provenance.
structural · Measures the current Thinking OS representation, not the quality or importance of the field.
Its 57 representation-health is above the 55 median of 211 similarly-sized disciplines (comparable by concept count).
structural · Measures the current Thinking OS representation, not the quality or importance of the field.
Current atlas gaps: no dated concepts.
atlas representation · Measures the current Thinking OS representation, not the quality or importance of the field.
44% of its relations reach into 8 other disciplines — an outward-facing field in the atlas.
structural · Measures the current Thinking OS representation, not the quality or importance of the field.
40% of its concepts have a single connection (mean internal degree 2.4) — a fairly cohesive internal structure.
structural · Measures the current Thinking OS representation, not the quality or importance of the field.
How this lens connects
The kinds of relationship that characterise this discipline lens in the current slice.
Coverage matrix
How these concepts distribute across domains and concept families — real counts, not a score.
Ideas that connect this discipline outward
Concepts viewed through this lens that reach disciplines it does not itself carry — concept-level bridges (distinct from the discipline-to-discipline bridges below).
- FunctionreachesCalculusCategory TheoryDiscrete MathematicsGeometryLogic
- SetreachesAlgebraLinear AlgebraLogicTopology
- Axiom of choicereachesAlgebraMathematics
- Cardinal NumberreachesLogicMathematics
- Cartesian ProductreachesDiscrete MathematicsMathematics
- RelationreachesAlgebraMathematics
Mental models that recur here
- 15 concepts are viewed through this lens.
- 6 of them bridge into other disciplines.
- Its signature thinking pattern is “Cause and effect” (recurs in 1 concepts).
- The most common kind of connection here is “Kind & structure”.
- It is most tightly linked to Mathematics.
Derived from the current graph structure — observations, not a judgement of the field.