For the purpose of this title, "Executive agency" means an Executive department, a Government corporation, and an independent establishment.
(
The section is supplied to avoid the necessity for defining "Executive agency" each time it is used in this title.