中对应到不可约子簇的一般点则拉回到在某个超越扩张上实现的型。
省略型定理.给定一个 n-型 p，一个自然的问题是研究省略 p 的模型。当 p 是孤立点时，所有模型都实现 p；反过来说，省略型定理则断言：设 formula_1 是可数语言，若 p 非孤立点，则有一个省略 p 的可数模型。举例来说，在特征为零的代数封闭域理论中，取 p 为由一个相对于formula_39的超越元素给出的型，任两个这样的超越元素都在一个基本扩展中同构，所以 p 的定义与选取无关。这是 Stone 空间