• If have exactly n distinct elements in set S, n is nonnegative integer β†’ S is a finite set, n is cardinality (number of elements) of S (denoted as )