初等类

模型论中的概念。设K是语言L的一族模型．(同构的模型只算作一个。)如果存在L中的一个理论T，使K恰由T的一切模型组成，则称K为一个初等类，即K=｛｜是L的理论T的模型｝。如果存在L中的一个语句A，使K恰由A的一切模型组成，则称K为一个基本初等类，即K=｛｜A｝。

设K为L的一族模型，则：(1)K为初等类的充分必要条件是：K对于超积及初等等价封闭。(即：K中任意一些模型的超积仍在K中，与K中模型初等等价的模型也仍在K中。)(2)K为基本初等类的充分必要条件是：K对于超积及初等等价封闭，并且K的余族K(即一切不在K中的L的模型所成的族)也对于超积及初等等价封闭。