Dual Space of a Lattice as the Completion of a Pervin Space