Вряд ли тут можно говорить о какой-то "общей" структуре графа безотносительно операции. Ведь это именно операция структуру и определяет. Если же от неё абстрагироваться... ну будет направленный лес с N корнями.
В данном конкретном примере мне понравилось именно то, что операция без очевидных признаков конечности на бесконечном множестве приводит к лесу с конечным ограничением по высоте. Хотя пока рисуешь этот лес, понемногу догадываешься, откуда конечность вылезает.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2009-01-07 10:12 pm (UTC)В данном конкретном примере мне понравилось именно то, что операция без очевидных признаков конечности на бесконечном множестве приводит к лесу с конечным ограничением по высоте. Хотя пока рисуешь этот лес, понемногу догадываешься, откуда конечность вылезает.