Диагональ

Диагональ множества

 * $$a,b$$ - множества.

Множество $$a$$ — диагональ (англ. diagonal, нем. Diagonale) множества $$b$$, если множество $$a$$ состоит из упорядоченных пар с координатами равными некоторому элементу множества $$b$$: $$ \Upsilon(a,b) \ \stackrel{\mathrm{def}}{=} \ \forall c \quad c\in a \Leftrightarrow ( \ \exists d \quad d\in b \ \land \ c = \langle d,d \rangle \ ) $$

Обозначим $$\Upsilon(a,b) \ \stackrel{\mathrm{def}}{=} \ a = \mathrm{Diagonal}(b)$$.