Quarry lake

Quarry Lake in Fremont, California
A quarry lake in an abandoned stone quarry in Kerala, India

A quarry lake, also known as a pit lake, is a lake that is formed after a quarry has been dug through a mining operation.