Sigue directamente del lema anterior que para cualquier subconjunto