Let f:A->B, where A and