graph injective homomorphism