set cardinality

the cardinality of a set is a measure of the number of elements of the set.
let be a broken link: blk:def-natural-set-inf. a set is said to have cardinality , iff it has equal cardinality with . we also say that has elements iff it has cardinality .
[cite:;taken from @tao_analysis_1 definition 3.6.5]