Дизъюнктное объединение: различия между версиями
| [непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки |
|||
Строка 1:
Неформально говоря, '''дизъюнктное объединение''' — это измененная операция [[Объединение множеств | объединения множеств]] в [[Теория множеств | теории множеств]], которая каждый элемент снабжает индексом множества, из которого этот элемент
== Определение ==
Строка 7:
: <math>\coprod_{i\in I}A_i = \bigcup_{i\in I}\{(x,i) | x \in A_i\}</math>
Элементы дизъюнктного объединения являются упорядоченными парами <math>(x, i)</math>. Таким образом <math>i</math> есть индекс, показывающий, из какого множества <math>A_i</math> элемент
: <math>A_i^* = \{(x,i) | x \in A_i\}.</math>
| |||