"an employee who is dismissed shall be taken to be dismissed by reason of redundancy if the dismissal is attributable wholly or mainly to - (a)the fact that his employer has ceased, or intends to cease, to carry on the business for the purposes of which the employee was employed by him, or has ceased, or intends to cease, to carry on that business in the place where the employee was so employed, or (b)the fact that the requirements of that business for employees to carry out work of a particular kind, or for employees to carry out work of particular kind in the place where he was so employed, have ceased or diminished or are expected to cease or diminish."
"in subsection (2), "cease" means cease either permanently or temporarily and from whatsoever cause, and "diminish" has a corresponding meaning."
"An employee shall be treated as dismissed by his employer if, but only if, (a)the contract under which he is employed by the employer is terminated by the employer, whether it is so terminated by notice or without notice."