Длина кортежа

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

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

Множество $$a$$ — длина (англ. length, нем. Länge) кортежа $$d$$ элементов множества $$c$$ или кратко длина кортежа $$d$$.