(1) Subject to the provisions of this section, an employee shall, in respect of a public holiday, be entitled to whichever one of the following his or her employer determines, namely -

(a) a paid day off on that day,

(b) a paid day off within a month of that day,

(c) an additional day of annual leave,

(d) an additional day's pay:

Provided that if the day on which the public holiday falls is a day on which the employee would, apart from this subsection, be entitled to a paid day off this subsection shall have effect as if paragraph (a) were omitted therefrom.

(2) An employee may, not later than 21 days before the public holiday concerned, request his or her employer to make, as respects the employee, a determination under subsection (1) in relation to a particular public holiday and notify the employee of that determination at least 14 days before that holiday.