“Covered employee”: An employee covered under the Federal Social Security Act as provided in Section 7-138 hereof.