baris nyata ; biasanya, interval terbuka atau tertutup atau seluruh ; dan aturan yang

berasosiasi dengan setiap unsur x dari subset khusus bilangan real . Terkait dengan
fungsi sebagai demikian "didefinisikan" kita memiliki grafik di ruang bilangan dua dimensi
yang terdiri dari titik-titik . Kami segera menyadari bahwa ditentukan oleh
grafik dan bahwa sifat karakteristik grafik adalah bahwa setiap baris sejajar dengan sumbu y
melalui titik x dari domain definisi (pada sumbu x) memenuhi grafik di tepat satu titik. Secara
setara ,jika (x, y) dan (x, y') adalah pada grafik maka y = y'. Hal ini jelas bahwa gagasan dari
sebuah grafik memuaskan kondisi ini adalah objek tepat didefinisikan sedangkan intuitif
definisi dari sebuah fungsi dengan "aturan" tidak. Oleh karena itu kita dituntun untuk
menggantikan definisi asli ke definisi dari sebuah grafik.
Sekarang kita akan melanjutkan sepanjang garis-garis ini, dan kami juga akan
menggantikan kata "fungsi" istilah geometris "memetakan" yang sekarang lebih umum
digunakan dalam konteks yang harus dipertimbangkan. Juga, kami ingin lulus dari fungsi
bernilai real dari sebuah variabel real ke memetakan sewenang-wenang. Pertama, kita perlu
menetapkan (Kartesian) himpunan hasil S x T dari dua himpunan sewenang-wenang S dan T.
ini adalah himpunan pasangan himpunan S dan T tidak perlu berbeda.
Dalam hasil S x T, unsur (s, t) dan (s', t ') dianggap sebagai sama jika dan hanya jika s = s'dan
t =t'. Jadi jika S terdiri dari unsur m s1 , s2, … , sm dan T terdiri dari unsur n t1, t2, … , tm maka S x
T terdiri dari unsure mn (si, tj).
Kami sekarang siap untuk menetapkan suatu memetakan dari himpunan S ke
himpunan T. Ini terdiri dari himpunan S, yang disebut domain dari memetakan, himpunan T,
yang disebut kodomain, dan sebuah subset α dari S x T (Grafik) yang memiliki dua sifat
berikut:
1. Untuk setiap s S terdapat sebuah t T sehingga (s, t) α
2. Jika (s, t) dan (s, t ') α maka t = t'.
Sifat kedua disebut "nilai tunggal." Dalam menentukan sebuah definisi yang sering
mengatakan bahwa "fungsi tersebut didefinisikan dengan baik" ketika salah satu diyakinkan
bahwa kondisi 2 itu memegang. Bersama-sama, kondisi 1 dan 2 menyatakan bahwa untuk
setiap s S terdapat suatu yang khusus t T sehingga (s, t) α. Notasi klasik untuk t ini
adalah α(s). Suatu sebutan ini gambar s di bawah α. Dalam banyak buku tentang aljabar
(termasuk yang sebelumnya) kita menemukan notasi sα dan sα untuk α(s). Ini memiliki
kelebihan ketika kita berurusan dengan gabungan dari memetakan. Namun, karena konsensus
dengan jelas bantuan dari notasi klasik α(s), kita memutuskan untuk mengambilnya dalam
buku ini.
Dua memetakan dianggap sebagai sama jika dan hanya jika mereka memiliki domain
yang sama, kodomain yang sama dan grafik yang sama. Himpunan memetakan '' dari S ke T,"
yaitu, memiliki domain S dan kodomain T akan dinyatakan sebagai