https://123dok.net/document/zgw06dvy-dual-space-of-a-lattice-as-the-completion-of-a-pervin-space.html