Federal property
(3) “Federal property” means any building, land, or other real property owned, leased, or occupied by any department, agency, or instrumentality of the United States (including the Department of Defense and the United States Postal Service), or any other instrumentality wholly owned by the United States, or by any department or agency of the District of Columbia or any territory or possession of the United States;