injective bijective surjective graphs