'All Israel' in the Bible

It is not possible that the word of God has failed; for they are not all Israel who are of Israel.

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