'All Israel' in the Bible

It is not, however, as though God's word had failed! For they are not all Israel who have sprung from Israel;

And so all Israel will be saved, as it is written. The deliver will come from Zion, He will banish all ungodliness from Jacob;