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:
“The real risks for any artist are taken ... in pushing the work to the limits of what is possible, in the attempt to increase the sum of what it is possible to think. Books become good when they go to this edge and risk falling over it—when they endanger the artist by reason of what he has, or has not, artistically dared.”
—Salman Rushdie (b. 1947)