序嵌入

形式上说，给定两个偏序集合 (S, ≤) 和 (T, <=)，一个函数 f: S → T 是序嵌入的，如果 f 是序保持和序反射的，就是说对于所有 S 中的 x 和 y 有

x ≤ y 当且仅当 f(x) <= f(y)

注意这样一个函数必然是单射的，因为 f(x) = f(y) 蕴涵 x ≤ y 且 y ≤ x。如果在两个偏序集合 S 和 T 之间存在一个序嵌入，可以称 S 能被嵌入到 T 中。