Westminster Larger Catechism question number fifty-nine in modern English:
Q. 59. Who become partakers of redemption through Christ?
A. Redemption is certainly applied and effectually communicated to all those for whom Christ has purchased it. All these are in time enabled by the Holy Spirit to believe in Christ, according to the gospel.