tenemos una familia que tiene las propiedades de los cerrados en la proposición