Public building
Public building or public work means building or work, the construction, prosecution, completion, or repair of which, as defined in this section, is carried on directly by authority of, or with funds of, a Federal agency to serve the interest of the general public regardless of whether title thereof is in a Federal agency.