is a specific kind of: empty.

is a broader term that covers: gouge, rout | scallop, scollop | hole | draw in, suck in | scoop out | cavern, cavern out | cave, undermine | dig, dig out | excavate | core.

derivation: hole, hollow.