Docs actually use both terms in the first statement:
Trait for equality comparisons which are equivalence relations.
I think there are two levels of description here:
- on the representation level, it's an equivalence relation
- on a higher, semantic level, it's equality