generalized nonexpansive multi-valued mappings