Funkcja na
Funkcja może odwzorowywać zbiór X w Y lub przekształcać zbiór X na zbiór Y. Różnica pomiędzy tymi dwoma pojęciami jest zasadnicza. Funkcja odwzorowuje zbiór X w Y, jeśli jej wartości należą do zbioru Y, funkcja przekształca zbiór X na Y, jeśli jej zbiór wartości jest równy zbiorowi Y.
Funkcja f: X → Y przekształca zbiór X na zbiór
Y, jeżeli przeciwdziedzina f(X) tej funkcji pokrywa się
ze zbiorem Y, czyli gdy f(X) = Y.
Funkcję f nazywamy "na", oznaczamy
i czytamy: f odwzorowuje zbiór X na zbiór Y.