Función. Una definición basada en conjuntos