next up previous
Next: Manipulating Unions and Intersections Up: More on set operations Previous: More on set operations

Arbitrary unions and intersections

The notions of union and intersection can be easily extended to more than two sets.

For finitely many sets, say tex2html_wrap_inline214 , we write tex2html_wrap_inline216 or tex2html_wrap_inline218 and tex2html_wrap_inline220 or tex2html_wrap_inline222 . If we have a sequence of sets tex2html_wrap_inline224 we write tex2html_wrap_inline226 and tex2html_wrap_inline228
Perhaps the most general form of this notation is a collection of sets with subscripts in some general index set tex2html_wrap_inline230 , tex2html_wrap_inline232 . Here tex2html_wrap_inline230 could be finite or infinite. We then write and . So an alternate way to write tex2html_wrap_inline240 would be where N is the set of natural numbers.
Exactly what these symbols mean is as follows.
By we mean tex2html_wrap_inline248 and by we mean tex2html_wrap_inline252
Check that these become our original definitions of set union and intersection when the indexing set has just two elements, and then we can just call the two sets A and B. An example of a large indexing set would be the set of reals R. If tex2html_wrap_inline260 then tex2html_wrap_inline262 would be the entire Cartesian plane tex2html_wrap_inline264 written as a union of all vertical lines in the plane.

Some care must be taken when dealing with negations involving union and intersections. Since tex2html_wrap_inline266 means there is at least one tex2html_wrap_inline270 so that tex2html_wrap_inline272 , then means x is not in any tex2html_wrap_inline278 . (Logically we have tex2html_wrap_inline280 ) Similarly, Since tex2html_wrap_inline266 means tex2html_wrap_inline272 for every tex2html_wrap_inline270 , then means there is at least one tex2html_wrap_inline270 with tex2html_wrap_inline294 . (Logically we have tex2html_wrap_inline296 )



Dan Rinne
Mon Jul 8 15:30:05 PDT 1996