Читаю "Теорию множеств" Томаса Йэха, наткнулся на следующее утверждение:

, где

- множество всех подмножеств. Мне непонятно, почему

применено дважды. На мой взгляд все упорядоченные пары, образующие декартово произведение, принадлежат множеству всех подмножеств объединения, т.е. должно быть

. Однако не думаю, что это опечатка, в чём я заблуждаюсь? Заранее большое спасибо.
-- Вт фев 21, 2012 13:02:10 --Прошу прощения, поторопился с вопросом

Если упорядоченные пары определять так:

, то двукратное

обязательно.