Since equality is a relation, and operations are special functions and functions are special relations, is $a + b = c$ a shorthand for two binary relations?
First relation being a subset of $\{(a,b)\}$;
the second relation being a subset of $\{((a,b),c)\}$?