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