Mina, cantera. Lugar de donde se extraen materiales especialmente grava y gravilla.
"A una gravera también se le puede llamar cantera."
gravera: mina, veta, o depósito de cascajo, balasto, piedrecillas.