Вопрос: «Что означают, что представляют идентификаторы в алгоритмических языках»?
===================================================================================

 Вопрос: «Что означают, что представляют идентификаторы в алгоритмических языках» ?   

Я думаю, что семантику рассматриваемых сущностей. Например, идентификатор множества представляет семантику совокупности элементов. Существенно, что не название этой совокупности а именно семантику. 

 Идентификатор - это имя сущности - переменной, функции, метки, шаблона, макроса и так далее.   
  

А вы про какие-то типы/классы пишите, вот они отражают как раз семантику.