Let L 𝐿 L be a Locale. A subset U ⊆ L 𝑈 𝐿 U\subseteq L is a cover of L 𝐿 L if ⋁ U = ⊤ 𝑈 top \bigvee U=\top .