Power Set Cardinality