Federal holiday

Federal holiday means a legal public holiday as defined at 5 U.S.C. 6103.

Source

20 CFR § 655.402

---

Scoping language

For purposes of this subpart:

---

Is this correct? or