Nested Ordered Pair

Homework Statement

One way of modeling tuples in set theory is through nested ordered pairs. A notation I'm not familiar with (I'm assuming it means that the following elements are nested into the last one) is used. (a1, a2, a2,... an) = (a1(a2, a3,..., an)). I have never seen the second "(" in the latter part of the equation. My question is what is a nested ordered pair? What are its properties? How can the second element in the latter part of the equation, have lots of elements; while, the whole thing still be an ordered pair? Nested generally means something in something, and an ordered pair is a couple or two tuple, but I can't seem to put the two together.

Homework Equations

None that I know of

The Attempt at a Solution

I've spent about 30 minutes searching and I still can't find a definition.[/B]

HallsofIvy
Homework Helper
I have never seen that notation before. I have seen the ordered pair defined as the un ordered pair (a, (a, b)).
The point is simply that the un ordered pair (a, (a, b)) tells you that there are two objects, a and b, and that a is being treated differently from b since it is named twice.

haruspex