Теорема Кантора-Бернштейна 2

[mihaild]

Vladimir Pliassov в сообщении #1576403 писал(а):

Если $X=\bigcup_i C_i, \;\; Y=\bigcup_i D_i,$

Так писать не очень хорошо, потому что пока мы не задали не только $X$, но и $f$, у нас нет никаких $C_i$. Если мы их зададим так, что окажется $X = \bigcup C_i$, то, конечно, элементов, у которых можно бесконечно брать прообраз, в $X$ не будет, по определению $C_i$.

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