结式是数学中一个常用的不变量。考虑域 formula_1 上两个多项式formula_2，设其首项系数分别为 formula_3，则其结式定义为其中 formula_5 为 formula_1 的给定代数闭包。由此定义的结式是 formula_1 的元素，而与代数闭包的选取无关。