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:

    The earliest instinct of the child, and the ripest experience of age, unite in affirming simplicity to be the truest and profoundest part for man. Likewise this simplicity is so universal and all-containing as a rule for human life, that the subtlest bad man, and the purest good man, as well as the profoundest wise man, do all alike present it on that side which they socially turn to the inquisitive and unscrupulous world.
    Herman Melville (1819–1891)

    The moment a man sets his thoughts down on paper, however secretly, he is in a sense writing for publication.
    Raymond Chandler (1888–1959)

    Most of our modern portrait painters are doomed to absolute oblivion. They never paint what they see. They paint what the public sees, and the public never sees anything.
    Oscar Wilde (1854–1900)