归约

设语言LL，就称L为L的归约，称L为L的膨胀。如果=(A，)是L的模型，则当由中略去对L＼L(＼表示集合差)中符号的解释后，可得一个对于L的解释。称L的模型=(A，)为在L中的归约，也称为在L中的膨胀。