Yes, the lossless audio file you're using is probably compressed — that's completely fine for this reason.
Digital music comes in many different formats – almost everyone knows MP3 thanks to Napster at the end of the last century, but what about OGG, AIFF, MQA or DSD? Confused? Don't worry, we're here to ...