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:

    Vanity, or to call it by a gentler name, the desire of admiration and applause, is, perhaps, the most universal principle of human actions.... Where that desire is wanting, we are apt to be indifferent, listless, indolent, and inert.... I will own to you, under the secrecy of confession, that my vanity has very often made me take great pains to make many a woman in love with me, if I could, for whose person I would not have given a pinch of snuff.
    Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)

    It provokes the desire but it takes away the performance. Therefore much drink may be said to be an equivocator with lechery: it makes him and it mars him; it sets him on and it takes him off.
    William Shakespeare (1564–1616)

    If a man needs an elaborate tombstone in order to remain in the memory of his country, it is clear that his living at all was an act of absolute superfluity.
    Oscar Wilde (1854–1900)