Definición de gravilla y conceptos relacionados

gravilla: Grava de dimetro reducido, generalmente entre 6,4 y 9,5 mm (1/4 y 1/3 de pulgada) que ha sido cribada en condiciones determinadas.

filtro de arena: Filtro empleado para depurar un efluente, consistente en numerosas capas de rido grueso, seguido de gravilla y, finalmente, arena.