Координата кортежа

Координата кортежа элементов множества

 * $$a,b,c,d,e,f$$ – множества,
 * $$b = \mathrm{N}$$ - множество-бесконечность,
 * $$c,d\in \mathbb{N}$$ - элемент множества-бесконечности,
 * $$c\in d$$ - элемент элемента множества-бесконечности,
 * $$f\in \mathrm{Function}(d,e)$$ - кортеж.

Множество $$a$$ — $$c$$-я координата (англ. $$c$$-th coordinate, нем. $$c$$-te Koordinate) кортежа $$f$$ элементов множества $$e$$ или кратко $$c$$-я координата кортежа $$f$$, если множество $$a$$ является значением функции $$f$$ от множества $$c$$: $$ \Upsilon(a,b,c,d,e) \ \stackrel{\mathrm{def}}{=} \ a = f(c) $$