Function (mapping) φ from set
A
(domain) to set
B
(range)