887 The expression retrenchment is specially defined by section 2(OO) of the Act and is as follows: "2(OO) 'retrenchment ' means 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, but does not include (a) voluntary retirement of the workman; or (b) retirement of the workman on reaching the age of superannuation if the contract of employment between the employer and the workman concerned contains a stipulation in that behalf; or (c) termination of the service of a workman on the ground of continued ill health;" In Hariprasad Shivshankar Shukla vs A. D. Divikar, the Supreme Court took the view that the word 'retrenchment ' as defined in section 2(OO) did not include termination of services of all workmen on a bonafide closure of an industry or on change of ownership or management of the industry.