(Q842620)

English

disjoint union

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

  • discriminated union
  • direct sum

Statements

0 references
Disjunkte Mengen.svg
342 × 190; 2 KB
0 references
0 references
\sqcup
0 references
0 references

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit