Subcover of a Locale

Let L 𝐿 L be a locale, and U L 𝑈 𝐿 U\subseteq L be a Cover of L 𝐿 L . A subset V U 𝑉 𝑈 V\subseteq U is a subcover of U 𝑈 U if V 𝑉 V is also a cover of L 𝐿 L .