Значение «Девственник» в архитектурном словаре

Что значит «Девственник»? Читайте ниже определение «Девственник».
Что такое «Девственник»? «Девственник» – это:
Женский монастырь.
(Термины российского архитектурного наследия. Плужников В.И., 1995)
Источник: Архитектурный словарь.