Если
Так писать не очень хорошо, потому что пока мы не задали не только

, но и

, у нас нет никаких

. Если мы их зададим так, что окажется

, то, конечно, элементов, у которых можно бесконечно брать прообраз, в

не будет, по определению

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