contiene un subconjunto finito "E" tal que