The result is an explicit choice function: a function that takes the first box to the first element we chose, the second box to the second element we chose, and so on.
Результатом будет функция явного выбора: функция, которая первой коробке сопоставляет первый элемент, который мы выбрали, второй коробке — второй элемент и т. д.