Here are what I think of as the key properties of "=":

• = is symmetric: if a=b then b=a.
• = is reflexive: a=a always.
• = is transitive: if a=b and b=c then a=c.