a bijective function is injective