伽罗瓦连接
after identifying "W" with its image in the second dual space under the double duality isomorphism . In particular, forming the annihilator is a Galois connection on the lattice of subsets of a finite-dimensional vector space.