Galois connection
两个定义的蕴涵在事实上是非常类似的，因为在"A"和"B"之间的反序伽罗瓦连接就是在"A"和"B"的序对偶"B"op之间的单调伽罗瓦连接。在后面关于伽罗瓦连接的陈述都可以轻易的转换成关于反序伽罗瓦连接的称述。