Image of
A
under φ:
A
→
B