disjoint union
Sign in to saveAlso known as discriminated union, ⊔, ⨆, direct sum, set sum
modified union operation that indexes the elements according to which set they originated in
Also known as discriminated union, ⊔, ⨆, direct sum, set sum
modified union operation that indexes the elements according to which set they originated in