Definition:Cardinality of Finite Set