The compactness theorem of model theory has an extensive application in algebra.

• 摘要模型论中的紧致性定理在代数中有很广泛的应用。