Herkunft: weibl., aus dem Spanischen übernommener Vorname zu 'Virgen del Carmen' (Jungfrau vom Berge Karmel). Mit der Jungfrau ist hier die Jungfrau Maria gemeint, deren Fest am 16. Juli begangen wird. Wie Mercedes und Assunta wird Carmen aus religiöser Ehrfurcht stellvertretend für den Vornamen Maria gewählt.
Verbreitung: Carmen wurde vor allem durch Georges Bizets gleichnamige Oper (1875) in Deutschland bekannt.
Andere Formen: Karmen, Carmina