Обозначение

Обозначение — логический приём, состоящий в приписывании некоей сущности имени с целью дальнейшего упоминания в обсуждении этого имени вместо этой сущности, в качестве указателя на неё.