section_heading: Formalne definicije
paragraph_text: Drugi je način formaliziranja n-torki preslikavanjem u primitivnije konstrukte teorije skupova kao što je uređeni par. Primjerice, n-torka (s n > 2) se može definirati kao uređen par svojeg prvog elementa i (n&minus;1)-torke koja sadrži sve ostale: