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 := {x ∈ U : x ∉ A}.
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)
“Until, accustomed to disappointments, you can let yourself rule and be ruled by these strings or emanations that connect everything together, you haven’t fully exorcised the demon of doubt that sets you in motion like a rocking horse that cannot stop rocking.”
—John Ashbery (b. 1927)
“Powerful, yes, that is the word that I constantly rolled on my tongue; I dreamed of absolute power, the kind that forces to kneel, that forces the enemy to capitulate, finally converting him, and the more the enemy is blind, cruel, sure of himself, buried in his conviction, the more his admission proclaims the royalty of he who has brought on his defeat.”
—Albert Camus (1913–1960)