Uma função é uma regra que relaciona cada elemento de um conjunto a um único elemento de outro. O primeiro conjunto é chamado de domínio, e o segundo, contradomínio da função.
No conjunto domínio, de onde partem as flechas, encontramos os elementos que chamamos de x. Essa variável x é a variável independente. Já no conjunto contradomínio, onde chegam as flechas, encontramos os elementos y. A variável y é a variável dependente, pois depende do valor de x, ela também é reconhecida como estando em função de x, em linguagem matemática f(x).
Como diz a definição, para que uma relação entre conjuntos seja caracterizada como função, cada elemento x deve se relacionar com um único elemento y. Quando um elemento x se relaciona com dois elementos y ao mesmo tempo, não fica caracterizada uma função, mas dois elementos x podem se relacionar com o mesmo elemento y. Todos os elementos x devem se relacionar com elementos y, mas nem todos os elementos y precisam se relacionar com elementos x.
O conjunto dos elementos y que se relacionam com os elementos x é chamado de conjunto imagem e é subconjunto do contradomínio.
