理論（theory）

充足関係を、構造と閉論理式の集合との関係について拡張できる。

T が 言語 L の閉論理式の集合で、M が L-構造のとき、M |= T とは、T に属する任意の閉論理式 p に対し、M |= p となることである。このとき、M を T のモデルと呼ぶ。また、閉論理式の集合を理論（theory）と呼ぶ。L-構造 M に対し

Th(M) = {p | p は L の閉論理式、M |= p}

を M の理論と呼ぶ。