Equality of Ordered Pairs

Theorem
Two ordered pairs are equal corresponding coordinates are equal:


 * $\tuple {a, b} = \tuple {c, d} \iff a = c \land b = d$

Also see

 * Equality of Ordered Tuples


 * Elements of Ordered Pair do not Commute, where it is formally noted that:
 * $a \ne b \iff \tuple {a, b} \ne \tuple {b, a}$

that is:
 * $\tuple {a, b} = \tuple {b, a} \iff a = b$