Sea el universo formula_8 y la familia formula_9 de subconjuntos de formula_8, una "cobertura" es una subfamilia formula_11 de conjuntos cuya unión es formula_8.