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]
[cite:;taken from @tao_analysis_1 definition 3.6.5]