(d) If S is an infinite set, then 2S must be uncountable.