injective function cardinality