аксиома. помогите разобраться

[201985]

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

$Ax_6= \exists d \in D_2, \forall x \in X_1, \forall y \in X_1, \forall z \in X_1 ((\operatorname{pr}_1d=(x, y)) \& (\operatorname{pr}_2d=z) \& (\forall a \in X_2((y, a) \in D_1) \& (x, a) \in D_1))$

$X_1$ – управляющая система,
$X_2$ – объект управления,
родовые отношения:
$ D_1 \in B(X_1 \times X_1)$;
$ D_2 \in B(X_1 \times X_2)$.

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

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

[Toucan]

Тема перемещена в Карантин.

1. Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".

2. Приведите свои попытки решения задачи и объясните.

После того как исправите сообщение, сообщите об этом в теме Сообщение в карантине исправлено.

________________
Всякий, кто поступил в университет, но не хочет сам учиться - враг своей страны, подрывающий ее научно-технический, интеллектуальный и оборонный потенциалы.
(c) по мотивам сообщения Yuri Gendelman.

[Toucan]

Тема перемещена из форума «Карантин» в форум «Помогите решить / разобраться (М)»