# Equality of Ordered Triples/Proof 2

## Example of Equality of Ordered Tuples

Let:

$\tuple {a_1, a_2, a_3}$ and $\tuple {b_1, b_2, b_3}$

Then:

$\tuple {a_1, a_2, a_3} = \tuple {b_1, b_2, b_3}$
$\forall i \in \set {1, 2, 3}: a_i = b_i$

## Proof

 $\ds A$ $=$ $\ds B$ $\ds \leadstoandfrom \ \$ $\ds \tuple {a_1, a_2, a_3}$ $=$ $\ds \tuple {b_1, b_2, b_3}$ Definition of $A$ and $B$ $\ds \leadstoandfrom \ \$ $\ds \tuple {a_1, \tuple {a_2, a_3} }$ $=$ $\ds \tuple {b_1, \tuple {b_2, b_3} }$ Definition of Ordered Triple $\ds \leadstoandfrom \ \$ $\ds a_1$ $=$ $\ds b_1$ Equality of Ordered Pairs $\, \ds \land \,$ $\ds \tuple {a_2, a_3}$ $=$ $\ds \tuple {b_2, b_3}$ $\ds \leadstoandfrom \ \$ $\ds a_1$ $=$ $\ds b_1$ Equality of Ordered Pairs $\, \ds \land \,$ $\ds a_2$ $=$ $\ds b_2$ $\, \ds \land \,$ $\ds a_3$ $=$ $\ds b_3$

$\blacksquare$
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 2, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}