Arbitrary Set Unions Operation

It would be very tedious and unnecessary to repeat the union statement repeatedly for any non-trivial amount of sets, for example, the first few unions would be written as:

Thus a more general operation for performing unions is needed. This operation is denoted by the symbol. For example, the set above and the desired unions of the member sets can be generalized to the following using the new notation:

We can then state the following definition: For a set , the union of is defined by:

For example, consider the three sets:

The union of the three sets is written as:

Recalling our union axiom from a previous post, the union axiom states for two sets and , there is a set whose members consist entirely of those belonging to sets or , or both. More formally, the union axiom is stated as:

As we are now dealing with an arbitrary amount of sets, we need an updated version of the union axiom to account for the change.

Restating the union axiom:

For any set , there exists a set whose members are the same elements of the elements of . Stated more formally:

The definition of can be stated as:

For example, we can demonstrate the updated axiom with the union of four sets :

We can implement the set operation for an arbitrary amount of sets by expanding upon the function we wrote previously.

set.unions

Perform the set union operation of four sets:

a

Intersections of an Arbitrary Number of Sets

The intersection set operation can also be generalized to any number of sets. Consider the previous set containing an infinite number of sets.

As before, writing out all the intersections would be tedious and not elegant. The intersection can instead be written as:

As before in our previous example of set intersections, there is no need for a separate axiom for intersections, unlike unions. Instead, we can state the following theorem, for a nonempty set , a set exists that such for any element :

Consider the following four sets:

The intersection of the sets is written as:

We can write another function to implement the set intersection operation given any number of sets.