Изменения

'''Инъективное''' отображение - — переводит разные элементы A в разные элементы B:: <tex> \forall a_1, a_2 \in A, : a_1\ne{a_2} : \Rightarrow f(a_1) \ne f(a_2) </tex>

'''Сюръективное''' отображение(на множестве B) - — каждый элемент множества B является образом хотя бы одного элемента множества A:

'''Биективное''' отображение - — инъекция + сюръекция - — взаимно однозначное соответствие, обладает двумя предыдущими свойствами.