Roof

The mining term "roof" refers to a rock layer superposing a reference layer (rock underlying this).