definition. An open cover of a set E is collection of Open sets that cover E, that is their union contains the set E

definition (vid2) (slightly different, but equivalent thanks to this lemma)