There are several definitions of tuples that give them the properties described in the previous section.

Another way of modeling tuples in Set Theory is as nested ordered pairs. This approach assumes that the notion of ordered pair has already been defined.

A variant of this definition starts "peeling off" elements from the other end: