Dúvida: Dúvidas em notações de Função.

[Crazyy]

Pessoal peço desculpas pela inocência em matemática mas, preciso perguntar.

o que exatamente significa: f: x -> y;

...e por que uma função é a relação binária de dois conjuntos? Qual é a relação de função e conjuntos?

Obrigado!

[PierreQuadrado]

Quando escrevemos \(f: A \to B\), queremos dizer que se trata de uma correspondência que a cada elemento do conjunto \(A\) faz corresponder um e um só elemento do conjunto \(B\). Chamamos justamente função a uma correspondência em que cada objeto tem uma única imagem. Esta é a única restrição. A relação entre função e conjuntos é simplesmente que a definição de uma função pressupõe a existência de conjuntos.