"Public service" means service rendered as an officer or employee of a public agency for which service the officer or employee received compensation from the public agency and with respect to which he is not entitled to receive credit in any retirement system supported wholly or in part by public funds after he becomes a member of this system.
(Added by Stats. 1955, Ch. 363, Sec. 3.)