over a map

over a map

[¦ō·vər ə ′map]
(mathematics)
A map ƒ from a set A to a set L is said to be over a map g from a set B to L if B is a subset of A and the restriction of ƒ to B equals g.