Galois connection
伽罗瓦连接在编程语言的抽象释义理论中可被用于描述多种形式的抽象。