Un refinamiento de un recubrimiento "C" de "X" es un nuevo recubrimiento: "D" de "X" , tal que todo conjunto de "D" esté contenido en algún conjunto de "C".