Graven betekent iets opgraven, of het maken van een gat. Groeven is de verschillende vorm van graven. Groef is een specifiek gat dat gegraven is.