Откуда формула (соцреклама МТИ)

[ShMaxG]

На улицах Москвы можно встретить рекламу, призывающую изучать науки:
http://gorod.afisha.ru/changes/otkuda-v ... ih-ulicah/

Среди них есть щиты про химию, биологию, математику, информатику. У меня вопрос, что за формула изображена на этом щите:

Слева еще не вошел квантор всеобщности, а справа -- закрывающиеся круглая и квадратная скобки.

Я понял эту формулу так:

$$\[\forall X\left[ {\emptyset \notin X \Rightarrow \exists f:X \to \bigcup\limits_{A \in X} A \ \ | \ \ f\left( A \right) \in A} \right]\]$$

или, что то же самое,

$$\[\forall X\left[ {\emptyset \notin X \Rightarrow \exists f:X \to \bigcup X \ \ \forall A\in X \ \ \left(f\left( A \right) \in A \right)} \right]\]$$

где объединение идет по всем элементам $X$.

В принципе, формула понятная. Но откуда она, из какой области математики, кто знает?

[Sonic86]

post863951.html#p863951

[пианист]

Взято, похоже, из википедии http://ru.wikipedia.org/wiki/%D0%90%D0% ... 1%80%D0%B0

[ShMaxG]

пианист
Во, спасибо!

-- Пн май 19, 2014 12:38:36 --

Sonic86
Только сейчас увидел, что на следующей странице в той теме ответ. Спасибо

[пианист]

ShMaxG в сообщении #865133 писал(а):

Sonic86
Только сейчас увидел, что на следующей странице в той теме ответ. Спасибо

Упс. И я не догадался глянуть на следующую страницу ;).

[dqrz]

Хорошая рекламная компания ! У кого-то еще остались мозги такую рекламу давать.