The reason I asked for a clarification is that some texts do define a discrete topology with open sets being the power set of the underlying set. If that is it, there is nothing to prove.
On the other hand, it may be asking you to prove that the power set of a set is in fact a topology on that set.