Close is the closure nucleus on relations. It captures the stable upper bound of the Iterate process.
Formal Signature
Close : Rel → Rel
Definition
Close is inflationary, idempotent, and meet-stable:
- Inflationary: Entails(a, Close(a)) --- closing a relation never shrinks it
- Idempotent: Close(Close(a)) = Close(a) --- closing a closed relation changes nothing
- Meet-stable: Close(Together(a, b)) = Together(Close(a), Close(b))
Close(a) is the least Iterate-stable relation that contains a. It represents the completion of a recognition: everything that the recognition will eventually encompass through iteration.
Close and Open form a dual pair satisfying the Balance condition.
Derivational context
Close arises in Movement II: Structural Stabilization as the formalization of inward consolidation. Being requires sustained coherence: having distinguished and compared, the system must secure what it has achieved. Close captures this securing — the act of completing a recognition so that further iteration changes nothing. What is closed is self-maintaining: it has consolidated inward. Close and Open together express the dual motions of stabilization — inward consolidation and outward release — whose compatibility is balance. In mathematical terms, Close is a closure operator (nucleus), but relationally it is the act of self-maintenance.