Теорема

Любая подстановка на конечном множестве A (т.е. биективному подмножеству N_n) может быть представлена как произведение непересекающихся циклов.

Действительно, начав слева, от 1 в верхней строке, формируем первый цикл по принципу «сверху вниз, снова вверх и т.д. до замыкания на начальное значение». На основе оставшихся элементов верхней строки формируем второй цикл и т.д. Поскольку множество А (или N_n) конечное, процесс рано или поздно останавливается.

Теперь нужно показать еще непересекаемость циклов. Это следует, например, из условия неповторяемости элементов (в нижней, например, строке рис. 1).

Рис. 1. К непересекаемости циклов

Доказательство от противного: пусть, наоборот, цикл 2 (H2, K2) вложен в цикл 1 (H1, K1). Тогда из-за обязательности равенств элементов на двойной стрелке (рис. 17) и K2 = H2 (замыкание) получаем в нижней строке запрещенное повторение элементов K2.

На множестве М в отображении N ® M можно определить последовательность. Например,

Функционал – это функция, определенная на множестве не простых объектов (чисел), а на множестве тоже, например, функций:

Здесь после стрелки указано множество, например, всех функций из M₂ в M₃.