IV.D150 — Strong vacuum

The strong vacuum Gamma_s^* is the omega-limit (projective limit) of the finite-stage strong vacua Gamma_s^*[n] over n >= 3, taken in the category of pro-objects of the boundary holonomy algebra.