For the purpose of this title—
(1)
“Government corporation” means a corporation owned or controlled by the Government of the United States; and
The section is supplied to avoid the necessity for defining “Government corporation” and “Government controlled corporation” each time it is used in this title.