#injective #one-to-one #mapping #discrete math #distinct mapping #set theory