伽罗瓦连接
The derivation operators define a Galois connection between sets of objects and of attributes. This is why in French a concept lattice is sometimes called a "treillis de Galois" (Galois lattice).