In set theory, a class of sets A is defined as a **covering** of a set B if every element of B is also an element of some set contained in A. An **open covering** of a set is a covering that consists entirely of open sets. A **refinement** of a covering A of a set B is a subclass of the sets in A that still manages to cover B.