The number of distinct elements in a set: