Sea (x) tal que S = {x} = {x : n ∈ N} es un conjunto finito.