Input (grade 10): The cardinality of a finite set is a natural number, the number of elements in the set.
Output (grade 11): The cardinality of a set is the cardinal number that tells how many things are in the set. A famous theorem of Cantor is that the cardinality of the real numbers is larger than the cardinality of the natural numbers.