cardinality of a set of real number