Relational closure operators are the self-maintenance structures that the derivation produces at three scales: self-sustaining closure (step 3), field closure (step 7), and grand closure (step 18). Each is a map that, applied to a structure, returns the smallest self-sustaining envelope containing it.
In standard mathematics, a closure operator on a partially ordered set is a function c that is extensive (x ≤ c(x)), monotone (x ≤ y implies c(x) ≤ c(y)), and idempotent (c(c(x)) = c(x)). A nucleus on a frame or locale is a closure operator that additionally preserves finite meets. See the existing learn-closure-operators skill for the standard treatment.
What distinguishes the relational closure operators is that they appear at three scales, each forced by what the previous leaves undetermined:
- Self-sustaining closure (step 3). Sustaining mediates between Relating (act) and Relation (condition), producing Self-Coherence and then Closure. The relational unit maintains itself through its own activity. This is the first closure operator: applied to the unit, it returns the unit.
- Field closure (step 7). After multiplicity, meta-structure, and recursive domain unfolding, Closure Criteria describe what it takes for an integrated field to be self-sustaining. This generalizes unit-level closure to the entire relational field — a closure operator on the field of units and their relations.
- Grand closure (step 18). Profiles reconstruct the full derivation internally. The derivation applied to itself yields itself — a fixed point. Grand closure is the closure operator whose fixed points are the profiles that reconstruct the whole.
Nucleus (step 16) is the generalization of closure to the full field of Terms and Judgements: the smallest closed structure containing something. Where closure at step 3 is structural and closure at step 7 is field-theoretic, Nucleus operates on the formalized syntax, giving closure its algebraic character. Flow and Nucleus form a residuated pair whose commutation produces Geometry.
For the derivation-internal account of closure across scales, see Closure.