to omit, to leave out, to exclude, to eliminate, to curtail, to save, to cut down, to economize, to economise