Vacuum pumps is simply a pump that moves air into or out of something else. Sometimes it removes gas from an area, leaving a partial vacuum behind; other times a vacuum pump will remove water from one area to another, as a sump pump does in a basement. Vacuum pumps are used in an industrial setting to produce vacuum tubes and electric lamps, and to process semiconductors. They can also produce a vacuum that can then be used to power a piece of equipment. In aircrafts, for example, the gyroscopes located in some of the flight instruments are powered by a vacuum source in case of an electrical failure.