充足関係を、構造と閉論理式の集合との関係について拡張できる。T が 言語 L の閉論理式の集合で、M が L-構造のとき、M |= T とは、T に属する任意の閉論理式 p に対し、M |= p となることである。このとき、M を T のモデルと呼ぶ。また、閉論理式の集合を…

言語 L の任意の閉じた論理式の集合を「理論」と呼ぶ。