As nouns,
Christmas carol is a hyponym of
religious song; that is, Christmas carol is a
word with a more specific, narrower meaning than
religious song:
religious song: religious music for singing
Christmas carol: joyful religious song celebrating the birth of Christ