Notemos que una familia G de subconjuntos de un conjunto A será una cubierta