This lake is in the crater of a volcano. There are three of them in Sao Miguel. After the volcano erupts and settles down, the top usually collapses. Over the years, rain water collects and forms these kind of crater lakes.