It states that for every indexed family formula_1 of nonempty sets there exists an indexed family formula_2 of elements such that formula_3 for every formula_4.
Для всякого семейства formula_1 непустых множеств существует функция formula_2, которая каждому множеству семейства сопоставляет один из элементов этого множества.