https://9lib.org/document/q05xvxjv-filters-of-lattices-with-respect-to-a-congruence.html