Piedra machacada (o la arena más gruesa, que la mayor es de río) con que se cubre y allana el piso de los caminos, las calles de los jardines, etc.[1][2]
↑ Benito Bails. «grava» en Diccionario de Arquitectura Civil. Editorial: Viuda de Ibarra. Madrid. OBS.: en el dominio público por haber sido publicado con anterioridad a 1927
1 2 «grava» en Diccionario de la lengua española. Editorial: Calpe. 15.ª ed, Madrid, 1925.
↑ «grava» en Diccionario de la Lengua Castellana (RAE). Página 503. Editorial: Imprenta de los Sres. Hernando y compañía. 13.ª ed, Madrid, 1899.