GRAVA

Se denomina grava a las rocas de tamaño comprendido entre 2 y 64 mm, aunque no existe homogeneidad de criterio para el límite superior. Pueden ser producidas por el hombre, en cuyo caso suele denominarse «piedra partida» o «chancada», y naturales. La grava se usa como árido en la fabricación de hormigones, como lastre y revestimiento protector en cubiertas planas no transitables, y como filtrante en soleras y drenajes.