Кстати, если я опишу этот процесс ровно таким же способом, то получится некая новая абстракция, которая вроде как отличается от предыдущей, а вроде и нет. Если отличается, то такое процесс можно очевидно повторить, а значит множество становится бесконечным.