(n.) Space left by the removal of ore.