Dado un recubrimiento "C" de un conjunto "A", un subrecubrimiento "D" es una subfamilia de "C", "D" ⊆ "C" que sigue siendo un recubrimiento de "A" —es decir, una subcolección de conjuntos de "C" que aún cubre a "A"—.