对扩张保持(preserved under extensions)理论的一种模型论性质.如果犷中的理论T的任意模型的任意扩张仍是T的一个模型，即如果令片T且0dl c,}，则.}}T，这时称理论T为对扩张保持.丫中的理论T对扩张保持的充分必要条件是:T有一集存在语句(}o语句)公理.
对扩张保持(preserved under extensions)理论的一种模型论性质.如果犷中的理论T的任意模型的任意扩张仍是T的一个模型，即如果令片T且0dl c,}，则.}}T，这时称理论T为对扩张保持.丫中的理论T对扩张保持的充分必要条件是:T有一集存在语句(}o语句)公理.