given a positive integer formula_1, the notation formula_13 refers to the set formula_14 of the first positive integers. given a set formula_15, the notation formula_16 refers to the cardinality of formula_15, i.e. the number of its elements.