Vault

An arched brick or stone ceiling or roof used to form a roof over a space inside a building. This may be a continuous arch (barrel vault), a ribbed vault (with diagonal arches projecting from the surface) or a groined vault (two barrel vaults joined at right angles).