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.