6.1. Revisão da noção da função como correspondência unívoca