Employee deduction

Employee deduction means the portion of the normal cost of FERS coverage which is deducted from an employee's basic pay.

Source

5 CFR § 841.502


Scoping language

In this subpart -

Is this correct? or