Отображение НА множество -- что это в математике

Отображение f множества М на множество N имеет место , когда:

f(M) = N

- то есть когда каждому элементу $N$ соответствует некий элемент из $М$ (у каждого элемента из N есть прообраз в M)