::::形式定义.形式上说，给定两个偏序集合 ("S", ≤) 和 ("T", <=)，一个函数 "f": "S" → "T" 是序嵌入的，如果 "f" 是序保持和序反射的，就是说对于所有 "S" 中的 "x" 和 "y" 有注意这样一个函数必然是单射的，因为 "f"("x") = "f"("y") 蕴涵 "x" ≤ "y" 且 "y" ≤ "x"。如果在两个偏序集合 "S" 和 "T" 之间存在一个序嵌入，可以称 "S" 能被嵌入到 "T" 中。