injective discrete math