An ordered pair is another name for a $2\text{-tuple}$, $$ \boxed{(a, b) = (c, d)} \text{ means that } a = c \text{ and } b = d $$
An ordered pair is another name for a $2\text{-tuple}$, $$ \boxed{(a, b) = (c, d)} \text{ means that } a = c \text{ and } b = d $$