Взаимнодизъюнктные множества


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

Множества $$a,b$$ — взаимнодизъюнктные множества (англ. mutually disjoint sets, нем. gegenseitig disjunkte Mengen), если пересечение множеств $$a,b$$ пусто: $$ \Upsilon(a,b) \ \stackrel{\mathrm{def}}{=} \ a\cap b = \varnothing $$ Обозначим $$\Upsilon(a,b) \ \stackrel{\mathrm{def}}{=} \ a\perp b$$.