Def pg. 333

let 𝐴, an open cover of 𝐴 is a collection 𝒢︀={𝐺𝛼} where all 𝐺𝛼 is open, such that

𝐴𝛼𝐺𝛼