Grava
En xeoloxía e na construcción denomínase grava as partículas rochosas de tamaño comprendido entre 2 e 64mm, ainda que non existe unidade de criterio para o limite superior. Poden ser producidas polo home, nese caso denomínase "pedra partida". Neste caso, ademais, soe suceder que o desgaste natural producido polo movemento nos leitos de rios xerara formas redondeadas e denoínanse canto rodado. Existe tamén casos de gravas naturais que non son cantos rodados.
Estes áridos son partículas granulares de material pétreo de tamaño variable. Este material orixínase por fragmentación das distintas rochas da corteza terrestre, xa sea en forma natural ou artificial. Neste último caso actúan os procesos de chancado e triturado utilizados nas respectivas plantas dolomita, basalto, arenisca, cuarzo e cuarcita.