Under industrial dispute laws, retrenchment is legally defined as the termination by the employer of the service of a workman for any reason whatsoever, otherwise than as a punishment inflicted by way of disciplinary action, typically due to the discharge of surplus or redundant labor.