The cardinality of power set