Cardinality of Set of Injections/Examples