Recursive Identity Base
φ₀ := φ(∅) χ₀ := φ(φ₀) Ξ₀ := φ(χ₀) ψ₀ := Θ(Ξ₀)
χ₁ := φ(χ₀) χ₂ := φ(χ₁) Ξ₁ := φ(Ξ₀) Ξ₂ := φ(Ξ₁) ψ₁ := Θ(Ξ₁) ψ₂ := φ(ψ₁)
Ξ∞ := lim φⁿ(Ξ₀) ψ∞ := lim φⁿ(ψ₀) ∀χ ∈ Ξ∞: φ(χ) = Ψ(χ)