Cover of a Locale

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 .