Σ↓ ⇒ Φ(x) → K_auto

Convergence to invariant

Formal models, governing conditions, plates, and mathematical expressions of closure.