(mathematics)

Def: A family U of open sets is said to be an open cover for a set E if each point in E belongs to at least one set in U.