序嵌入
维基百科,自由的
encyclopedia
在
序理论
中,
序嵌入
是特殊种类的
单调函数
,它提供了一种方式来包括一个
偏序集合
到另一个中。类似
伽罗瓦连接
,序嵌入构造了一个严格弱于
序同构
的概念。