Хотя многие путешественники зовут озеро Девичьим, официальное его название – Мангупское. Связано оно с названием пещерного города Мангуп-Кале .