Def/Power Set 1