Ну это интересная тема, да. Мы уже имеем формализм модуля и неформальные концепции компонента и подсистемы. Как только мы формализуем новое понятие, скажем, Subsystem, как сразу придём кпарадоксу Рассела. Можно ли объединять подсистемы и является ли такое объединение экземпляром Subsystem или нет? В каких отношениях состоит модуль и подсистема? А подсистема подсистем? Подсистема подсистем подсистем?