https://9dok.org/document/zkw86l1e-doi-approximation-lattices-defined-tolerances-induced-irredundant-coverings.html