Is $ a + b = c$ technically $2$ binary relations?

39 Views Asked by At

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)\}$?