FANDOM


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

Множество $ a $дизъюнктное множество (англ. disjoint set, нем. disjunkt Menge), если пересечение любых двух неравных элементов множества $ a $ пусто[1]:

$ \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 $.

Примечания Edit

  1. или, что то же самое, любые два неравных элемента множества $ 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\perp c \,\bigr) $

Community content is available under CC-BY-SA unless otherwise noted.