Symbolic Combinatorics - Combinatorial Sum

Combinatorial Sum

The restriction of unions to disjoint unions is an important one; however, in the formal specification of symbolic combinatorics, it is too much trouble to keep track of which sets are disjoint. Instead, we make use of a construction that guarantees there is no intersection (be careful, however; this affects the semantics of the operation as well). In defining the combinatorial sum of two sets and, we mark members of each set with a distinct marker, for example for members of and for members of . The combinatorial sum is then:

This is the operation that formally corresponds to addition.

Read more about this topic:  Symbolic Combinatorics

Famous quotes containing the word sum:

    What God abandoned, these defended,
    And saved the sum of things for pay.
    —A.E. (Alfred Edward)