# Ordered Triple Notation Clarification involving the Ordered Pair Property

I am working on a proof that involves the Ordered Pair Property and Ordered Triples and the notation used in the proof is $\langle x,\langle y,z\rangle\rangle$.

Can this ordered triple notation also be written as $\{\{x\},\{\{y\},\{y,z\}\}\}$? I have yet to see that notation used.

Thank you!

-
What is Fundamental Theorem of Ordered Pairs - it doesn't come up on Google ? –  Tom Collinge Jun 23 at 15:05
Sorry. I meant the Ordered Pair Property. I will make the edit. –  user42864 Jun 23 at 15:06

If $\langle u, v \rangle = \{ \{ u \}, \{ u,v \} \}$, then your formula is wrong:
$$\langle x, \langle y, z \rangle \rangle = \{ \{ x \}, \{ x, \{\{y\}, \{y,z\}\}\}$$
$$\langle \{ s \}, t, t \rangle = \{ \{ \{ s \}\}, \{\{t\}\} \}$$ $$\langle \{ t \}, s, s \rangle = \{ \{ \{ t \}\}, \{\{s\}\} \}$$