o-최소 이론 T의 확장인 Tconvex에서 λ-경계 약한 즉시 구성 가능 확장은 잔류 필드 부분을 확장하지 않으며, 이러한 확장들은 서로 합성될 수 있다. 이를 통해 모든 Tconvex 모델은 유일한 λ-구면 완성체를 가진다.
