https://9lib.org/document/zpnxvldo-reticulation-residuated-lattices-induced-fuzzy-prime-spectrum.html