rock basin
nounDefinition of rock basin
: a depression in solid rock often resulting from ice erosion in mountain regions and usually containing small lakes