A Christmas carol is a traditional Christmas song with lyrics that often holds a religious message. The word carol can be derived from a similar french word, carole (some say the Latin carula), describing the phenomenon to dance in a circle. At Christmas the dancing was performed around the Christmas tree.
Somewhere along the way the word ‘carol’ became the well known term Christmas carol, which not only describes the dancing, but also the Christmas music and the Christmas lyrics.