Atvaizdis
aibės X atvaizdis aibėje Y yra bet kuri taisyklė f, priskirianti kiekvienam aibės X elementui x vienintelį aibės Y elementą y. atvaizdis žymimas f: X→Y arba y = f(x). Elementas y vadinamas elemento x vaizdu, o x – elemento y pirmavaizdžiu. Atvaizduojant aibę X aibėje Y, kai kurie aibės Y elementai gali ir neturėti pirmavaizdžių. Kai kiekvienas aibės Y elementas turi bent vieną pirmavaizdį, kalbame apie aibės X atvaizdį aibėjeY. Jei kiekvienas aibės Y elementas turi vienintelį pirmavaizdį, tai toks aibės X atvaizdis į aibę Y vadinamas abipusiškai vienareikšmiu atvaizdžiu. Kai X ir Y yra skaičių aibės, atvaizdis vadinamas skaitine funkcija.
