omission, leaving out, abbreviation, abridgment, abridgement, shortening (e.g. of a name)