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