A relationship that has all three qualities is called an equivalence relation.
A relationship that has all three qualities is called an equivalence relation.
Being “equal” is an equivalence relationship.
*see section 1.3 #6, #8 in Sibley for axiomatic variations among these properties.