Definition: Cardinality of a Finite Set The cardinality of a finite set S is the number of elements in S.