A B many-to-one function