Power set algebra