>>12259937The question is ambiguous, is it asking you to prove that one such set S exists where the property holds, or is it asking you to prove that the property holds for every set S? If it's the former then an example is sufficient, and it can't be the latter because the property doesn't hold for every set S, I can think of a set S for which it doesn't hold