'All Israel' in the Bible

But not as that the word of God has been a failure. For these are not all Israel who are of Israel;

and so all Israel shall be saved: as has been written, A leader shall come out of Zion, shall turn ungodliness from Jacob.