[basic.scope] p3 refers to same types in one definition, and equivalent types in another.

When are two types considered equivalent, and what is the difference between that and them being the same type? There should be a forward-reference to the relevant section, and I was unable to find it.