Dado un subconjunto de Z: