", ≤) 到 ("T", ≤) 的序同构是满射函数 "h" : "S" → "T" 使得对于所有 "S" 中的 "u" 和 "v" 有在这种情况下，偏序集合 "S" 和 "T" 被称为序同构。注意上述定义特征序同构为满射序嵌入。还应该注意序同构必然是单射的。因此另一个序同构的特征也是可能的: 它们严格的是有单调逆映射的单调双射。从 ("S", ≤) 到自身的序同构叫做序自同构。