IV.P97 — Well-definedness

For each n >= n_0, the canonical vacuum Omega_n^* exists (C_n^{adm} is finite and nonempty by III.P16), is unique (lexicographic order is total), and is computable (exhaustive search over a finite set).