(追記) (追記ここまで)
Symmetric Property of Equality
The following property: If if a = b then b = a. This is one of the equivalence properties of equality.
See also
Reflexive property of equality, transitive property of equality, transitive property of inequalities