In this subchapter:
(4)Federal agency.—The term “Federal agency” means—
an executive department or independent establishment in the executive branch of the Government; or
a wholly owned Government corporation (other than the United States Postal Service).
(8)Underutilized property.—The term “underutilized property” means a portion or the entirety of any real property, including any improvements, that is used—
for program purposes that can be satisfied only with a portion of the property.