IV.D181 — π-lift ω-limit

The pi-lift omega-limit Lift_pi^omega := [(Lift_pi(n))_{n>=3}]_{~omega} in H_partial is the tail equivalence class of the finite-stage pi-lifts, representing the profinite strong coupling as a well-defined element of the boundary algebra.