Hello,
As far as I know, yes - these two terms are synonyms, at least that's how I always understood it. The EtherChannel is the name for the technology itself while the Port-Channel refers to the virtual interface name created for purposes of representing the link bundle in the switch configuration.
Best regards,
Peter