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:

    I admit that the generation which produced Stalin, Auschwitz and Hiroshima will take some beating; but the radical and universal consciousness of the death of God is still ahead of us; perhaps we shall have to colonize the stars before it is finally borne in upon us that God is not out there.
    R.J. Hollingdale (b. 1930)

    A continual feast of commendation is only to be obtained by merit or by wealth: many are therefore obliged to content themselves with single morsels, and recompense the infrequency of their enjoyment by excess and riot, whenever fortune sets the banquet before them.
    Samuel Johnson (1709–1784)

    It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.
    Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)