'All Israel' in the Bible

But it is not as though the word of God has come to nothing. For they are not all Israel, that are of Israel.

and so all Israel will be saved. Even as it is written, "There will come out of Zion the Deliverer, and he will turn away ungodliness from Jacob.