Аксиома описывает причинно-следственную сеть отношений управляющих систем и имеет следующий вид:


– управляющая система,

– объект управления,
родовые отношения:

;

.
Помогите пожалуйста её прочитать и вообще объяснить что она значит и определить соответствия (образ и прообраз) тк имеются проекции.
насколько я понимаю причинно-следственная сеть должна заключаться в том, что на объект управления отображается система управления в которой выделяется новый объект управления. но при этом в аксиоме записано что х, у, и z принадлежат множеству управляющих систем и прообразы и образы отображения по d ищутся только в подмножествах управляющих систем и не отображаются на подмножества объектов управления?