"action of lopping off or pruning," c. 1600, from obsolete French retrenchement "a cutting off or out," from retrencher (see retrench (v.2)). Military sense is recorded from 1580s; see retrench (v.1).[retrenchment etymology, retrenchment origin, 英语词源]