RETRENCHMENT literally signifies something cut off or taken from a thing; in which sense it is the same with subtraction, diminution, &c.