The idea is that the power set should be defined on finite sets only and the empty set is a special case. Hence, I have both these checks in the beginning and am using the relevant attributes to check these. Can you explain this a little more why this is wrong?