disjoint union (Q842620)

From Wikidata
Jump to navigation Jump to search
modified union operation that indexes the elements according to which set they originated in
  • discriminated union
  • direct sum
  • set sum
edit
Language Label Description Also known as
English
disjoint union
modified union operation that indexes the elements according to which set they originated in
  • discriminated union
  • direct sum
  • set sum

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit