Onto (pertains to
function
φ:
A
→
B
)