a_59 相容，所以由紧致性定理可证 formula_58 包含于一个型；formula_58 无法在 formula_62 中实现，却能在 formula_62 的某个基本扩展——超实数中实现。一个能实现所有满足 formula_64 的型的模型称作饱和模型。
Stone空间.固定 formula_65，所有 n-型构成的空间 formula_21 具备一个自然的拓扑结构，其开集由形如 formula_67 的子集经过联集与有限交集形成。它满足下述性质：事实上，formula