Иногда

используется как знак «равно при любых значениях свободных переменных», а иногда как знак определения
, а иногда одновременно. Поскольку никаких недоразумений из-за этого не возникает. Понятия хоть и разные, но по смыслу родственные.
Разница же между тождеством, равенством и формулой вообще размыта. Скажем,

принято называть тождеством, а

-- формулой.