disjoint union (Q842620)
Jump to navigation
Jump to search
modified union operation that indexes the elements according to which set they originated in
- discriminated union
- ⊔
- ⨆
- direct sum
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | disjoint union |
modified union operation that indexes the elements according to which set they originated in |
|
Statements
\sqcup
0 references
⊔
0 references
Identifiers
Sitelinks
Wikipedia(20 entries)
- cawiki Unió disjunta
- cswiki Disjunktní sjednocení
- dewiki Disjunkte Vereinigung
- enwiki Disjoint union
- eowiki Disa kunaĵo
- eswiki Unión disjunta
- etwiki Lõikumatu ühend
- fawiki اجتماع مجزا
- frwiki Réunion disjointe
- huwiki Diszjunkt unió
- itwiki Somma disgiunta
- jawiki 非交和
- kowiki 분리합집합
- nlwiki Disjuncte vereniging
- plwiki Suma rozłączna
- ptwiki União disjunta
- ruwiki Дизъюнктное объединение
- ukwiki Диз'юнктне об'єднання
- zh_yuewiki 不交併集
- zhwiki 不交并