Galois connection
这有时被陈述为公理，但实际上可以从相对伪补元的存在性得到。道理是作为伽罗瓦连接的下伴随，formula_13保持所有现存的上确界。所以分配律就是formula_13对二元最小上界的保持。