Definition:Cardinality of Set