在数理逻辑中，特别是应用于计算机科学中，两个项的同一是就特殊化次序而言的并(格的最小上界), 就是说，我们在项的集合上假定一个预序，其中 "t"* ≤ "t" 意味着 "t"* 是通过代换(substitute)在 "t" 中某些项的一个或多个自由变量而从 "t" 获得的。"s" 和 "t" 的同一 "u"，如果存在的话，是 "s" 和 "t" 二者的代换实例的一个项。"s" 和 "t" 的任何公共的代换实例也是 "u" 的实例。例如，对于多项式 "X" 和 "Y" 可以通过采纳 "X" = "Z" 和