在序理论中，序嵌入是特殊种类的单调函数，它提供了一种方式来包括一个偏序集合到另一个中。类似伽罗瓦连接，序嵌入构造了一个严格弱于序同构的概念。
形式定义.形式上说，给定两个偏序集合 ("S", ≤) 和 ("T", <=)，一个函数 "f": "S" → "T" 是序嵌入的，如果 "f" 是序保持和序反射的，就是说对于所有 "S" 中的 "x" 和 "y" 有注意这样一个函数必然是单射的，因为 "f"("x") = "f"("y") 蕴涵 "x" ≤ "y" 且 "y" ≤ "x