伽罗瓦连接
The annihilator gives a Galois connection between subsets of formula_6 and formula_55, and the associated closure operator is stronger than the span.