"Employee contribution" means that part of the compensation of
a public employee which is paid by the employee or by the employer
on the employee's behalf to a public retirement system as a
requirement for membership in the public retirement system [...]
(15) "Employee contribution" means that part of the compensation
of an employee which is paid by or on behalf of an employee as a
contribution to a retirement system.