Registry · Definition
III.D39
tau-effective
formalized
III.D39 — Defect Functional Δ
Δ(f, n) measures the deviation of an ω-germ f from canonical form at primorial depth n. Δ ≥ 0; Δ = 0 iff stabilized. The defect is computable at each finite level.