disjoint union (Q8287): Difference between revisions

From Azupedia
Jump to navigation Jump to search
Created claim: Unicode character (P106): ⊔
Property / Unicode character
 
Property / Unicode character: ⊔ / rank
 
Normal rank

Revision as of 17:36, 3 May 2023

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
  • discriminated union
  • direct sum

Statements

0 references
0 references
0 references