Uma função é uma correspondência entre dois conjuntos numéricos quando a cada elemento do conjunto A se associa a um elemento do conjunto B. O primeiro conjunto denomina-se de domínio que é constituído pelos objectos e o segundo denomina-se de contradomínio e é constituído pelas imagens. Cada objecto só pode responder a uma e uma só imagem. E quando nenhum objecto está ligado não se torna uma função. Mas também quando um objecto está ligado a duas imagens não é função.