Finite cardinality