Power set properties