Definition of the term Gravel

Loose fragments of rock used for surfacing built-up roofs, in sizes varying from 1/8″ to 1″