(Q842620)

English

disjoint union

modified union operation that indexes the elements according to which set they originated in

  • discriminated union
  • direct sum
  • set sum
In more languages
default for all languages
No label defined

No description defined

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                    NODES
                  Project 3