This document defines an equivalence relation ~ on the power set P(U) of a nonempty set U. Relation A ~ B means there exists a bijection f between subsets A and B of P(U). The solution is to prove that the relation ~ is reflexive, symmetric and transitive, making it an equivalence relation on P(U).