Naive Set Theory - Universal Sets and Absolute Complements

Universal Sets and Absolute Complements

In certain contexts we may consider all sets under consideration as being subsets of some given universal set. For instance, if we are investigating properties of the real numbers R (and subsets of R), then we may take R as our universal set. A true universal set is not included in standard set theory (see Paradoxes below), but is included in some non-standard set theories.

Given a universal set U and a subset A of U, we may define the complement of A (in U) as

AC := {xU : xA}.

In other words, AC ("A-complement"; sometimes simply A', "A-prime" ) is the set of all members of U which are not members of A. Thus with R, Z and O defined as in the section on subsets, if Z is the universal set, then OC is the set of even integers, while if R is the universal set, then OC is the set of all real numbers that are either even integers or not integers at all.

Read more about this topic:  Naive Set Theory

Famous quotes containing the words universal, sets and/or absolute:

    That we can come here today and in the presence of thousands and tens of thousands of the survivors of the gallant army of Northern Virginia and their descendants, establish such an enduring monument by their hospitable welcome and acclaim, is conclusive proof of the uniting of the sections, and a universal confession that all that was done was well done, that the battle had to be fought, that the sections had to be tried, but that in the end, the result has inured to the common benefit of all.
    William Howard Taft (1857–1930)

    In the beautiful, man sets himself up as the standard of perfection; in select cases he worships himself in it.... Man believes that the world itself is filled with beauty—he forgets that it is he who has created it. He alone has bestowed beauty upon the world—alas! only a very human, an all too human, beauty.
    Friedrich Nietzsche (1844–1900)

    We must not inquire too curiously into the absolute value of literature. Enough that it amuses and exercises us. At least it leaves us where we were. It names things, but does not add things.
    Ralph Waldo Emerson (1803–1882)