一般に論理式formula_28を等しくする代入をformula_28の"単一化子"()といい、そのうち最も一般的な単一化子("最汎単一化子")をformula_28の"mgu"()という。