air at a pressure greater than that of the atmosphere; "compressed air is often used to power machines"