Another way to say "An MP3 is a song file." is "some song files are mp3."