Дизъюнктное множество

Дизъюнктное множество

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

Множество $$a$$ — дизъюнктное множество (англ. disjoint set, нем. disjunkt Menge), если пересечение любых двух неравных элементов множества $$a$$ пусто : $$ \Upsilon(a) \ \stackrel{\mathrm{def}}{=} \ \forall b \ \forall c \quad (\, b\in a \ \land \ c\in a \,) \Rightarrow \bigl(\, {}^\neg(b = c) \Rightarrow (b\cap c) = \varnothing \,\bigr) $$ Обозначим $$\Upsilon(a) \ \stackrel{\mathrm{def}}{=} \ a^\perp$$.