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.