La colección formula_4 se denomina "formula_5-recubrimiento" de formula_6 si: