структурная эквивалентность против эквивалентности имен

Кажется, я не могу точно понять, что такое эквивалентность имен. Я почти уверен, что у меня структурный спад. Мой профессор привел такой пример:

 Type TI=integer
 Type TTI=TI

 a=integer
 b=TTI
 f= ref float
 g= ref float

a и b являются как структурными, так и именными эквивалентами, в то время как f и g просто структурными эквивалентами. Я не понимаю, почему a и b будут эквивалентными именам, но f и g не являются т.