Hmmm... so free will in your opinion only applies to a choice to believe or not.....O.K., that seems limited, but whatever.
In the context that we are discussing it, free will means the freedom to believe or not to believe the gospel message. If I understand Calvinism correctly, it asserts that only an elect/chosen few are ordained before creation by God to have the will to irresistibly believe the gospel, while others are prevented from having the will to believe the gospel, either by default as the result of not being elected by God, or in the case of 'Double Predestination' purposely not being given the will to believe.
You are free to correct that understanding, but I would only ask that you provide some kind of authoritative source online to support any correction you provide so I can be equipped to accurately represent the Calvinistic argument in the future.
So you have:
Premise 1: God must call them (note: the definition of this call is lacking. Hopefully, it doesn't include the call of nature in Romans 1 that inclusivism proposes)
And the calling does include the call of God in nature and conscience where the testimony of scripture is absent.
The capacity to be able to will to believe the testimony of God (given in the literal gospel, or in nature and conscience) is inherent in the call itself. For it is through the testimony of God that He provides the faith (the ability to know something is true that he can not see) necessary for a person to will to believe in and trust in what God is telling him. Faith comes through the hearing of the word of God, whether that word comes through the testimony of nature, through the voice of conscience, or the testimony of the written/spoken word.
Premise 2: This is a choice to be saved or not
It is the choice to believe that there is a God, and that he is Judge of all.
Premise 3: this is a FREE choice ..... FREE FROM WHAT!!!!!
Free will means freedom from the inablilty of natural man to not be able to believe that which he can not see (Hebrews 11:1).
Conclusion: You're definition is too obtuse to have meaning.
Like, your definition is so open ended that it would fit the Augustinian (Reformed) definition save that you limit it to salvation.
I'm confident that with this post you can understand clearly and in some detail what the definition of 'free will' is that I am putting forth.
Reformed Theology believes you get to choose to be saved or not.
You will always choose what you desire most. (Augustine).
No, I'm pretty sure that Calvinism says 'free will' is purposely granted by God to those He has predestined before time began to be among the elect, and withheld from those He has determined before time began to not be among the elect, making them damned by default. And that in the 'Double Predestination' offshoot of Calvinism God purposely
doesn't give 'free will' to the people he has ordained before time began to be damned and so in that sense purposely predestines them to be damned, not just remain by default in the condemnation it says all men start out in.
I'm open to any correction on that understanding, as long as it is supported by some kind of official source.