Proserpine (Proserpina) is an opera with music by Jean-Baptiste Lully and a libretto by Philippe Quinault first performed at Saint-Germain-en-Laye on 3 February 1680.
[1] Based on Ovid's Metamorphoses, the plot centers around the abduction of Proserpine by Pluton, with side plots concerning Cérès's love for Jupiter and the love intrigue between Alphée and Aréthuse.