Definition:Cardinality of Infinite Set