Grava
(rocas sedimentarias)
Material redondeado producto de la desintegración, natural o artificial, de cualquier tipo de roca, especialmente de aquellas ricas en cuarzo, cuyo tamaño es superior a dos (2) milímetros de diámetro.
Glosario técnico minero