Quarry

A quarry is a type of open-pit mine from which rock or minerals are extracted. Quarries are generally used for extracting building materials, such as dimension stone. Quarries are usually shallower than other types of open-pit mines.

People in some English-speaking countries are unlikely to make the distinction between this type of mine and any other type of open-pit or open-cast borrow or gravel pit mining operation.