Added PowersetFunction