Let f be the function defined above. I think that "Let A be a set, let B be a group, ...