dēvirginātio , ōnis, f. (devirgino), die Entjungferung, Beraubung der Jungfernschaft, Scrib. Larg. 18.
Wörterbucheintrag Latein-Deutsch zu »devirginatio«. Karl Ernst Georges: Ausführliches lateinisch-deutsches Handwörterbuch. Hannover 1913 (Nachdruck Darmstadt 1998), Band 1, Sp. 2118.