Definición de gravilla y conceptos relacionados
gravilla: Grava de diámetro 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.