«функция как отношение», «однозначная парная связь элементов одного множества с элементами другого множества».