One-to-one (pertains to
function
φ:
A
→
B
)