grava s f Conjunto de piedras muy pequeñas, en especial las que se usan en albañilería y en la pavimentación de calles y carreteras: «El camino está resbaloso por la grava suelta».

Esta definición de Diccionario del Español de México (DEM) El Colegio de México, A.C.