Simple theorems in the algebra of sets

Elementary mathematics courses sometimes leave students under an erroneous impression that the subject matter of set theory is the algebra of union, intersection, and complementation of sets. Those topics are treated below. For an account of some elementary topics in set theory, see also set, naive set theory, axiomatic set theory, Cantor-Bernstein-Schroeder theorem, Cantor's diagonal argument, Cantor's first uncountability proof, Cantor's theorem, well-ordering theorem, axiom of choice, Zorn's lemma.

We list without proof several simple properties of the operations of union, intersection, and complementation of sets. These properties can be visualized with Venn diagrams.

PROPOSITION 1: For any sets A, B, and C:

  • A ∩ A = A;
  • A ∪ A = A;
  • A \ A = {};
  • A ∩ B = B ∩ A;
  • A ∪ B = B ∪ A;
  • (A ∩ B) ∩ C = A ∩ (B ∩ C);
  • (A ∪ B) ∪ C = A ∪ (B ∪ C);
  • C \ (A ∩ B) = (C \ A) ∪ (C \ B);
  • C \ (A ∪ B) = (C \ A) ∩ (C \ B);
  • C \ (B \ A) = (A ∩ C) ∪ (C \ B);
  • (B \ A) ∩ C = (B ∩ C) \ A = B ∩ (C \ A);
  • (B \ A) ∪ C = (B ∪ C) \ (A \ C);
  • A ⊆ B if and only if A ∩ B = A;
  • A ⊆ B if and only if A ∪ B = B;
  • A ⊆ B if and only if A \ B = {};
  • A ∩ B = {} if and only if B \ A = B;
  • A ∩ B ⊆ A ⊆ B;
  • A ∩ {} = {};
  • A ∪ {} = A;
  • {} \ A = {};
  • A \ {} = A.

PROPOSITION 2: For any universe U and subsets A, B, and C of U:

  • A′′ = A;
  • B \ A = A' ∩ B;
  • (B \ A)' = A ∪ B';
  • A ⊆ B if and only if B ⊆ A;
  • A ∩ U = A;
  • A ∪ U = U;
  • 'U \ A = A;
  • A \ U = {}.

PROPOSITION 3: (distributive laws): For any sets A, B, and C:

(a) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C);
(b) A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C).

The above propositions show that the power set P(U) is a Boolean lattice.

Navigation

  • Art and Cultures
    • Art (https://academickids.com/encyclopedia/index.php/Art)
    • Architecture (https://academickids.com/encyclopedia/index.php/Architecture)
    • Cultures (https://www.academickids.com/encyclopedia/index.php/Cultures)
    • Music (https://www.academickids.com/encyclopedia/index.php/Music)
    • Musical Instruments (http://academickids.com/encyclopedia/index.php/List_of_musical_instruments)
  • Biographies (http://www.academickids.com/encyclopedia/index.php/Biographies)
  • Clipart (http://www.academickids.com/encyclopedia/index.php/Clipart)
  • Geography (http://www.academickids.com/encyclopedia/index.php/Geography)
    • Countries of the World (http://www.academickids.com/encyclopedia/index.php/Countries)
    • Maps (http://www.academickids.com/encyclopedia/index.php/Maps)
    • Flags (http://www.academickids.com/encyclopedia/index.php/Flags)
    • Continents (http://www.academickids.com/encyclopedia/index.php/Continents)
  • History (http://www.academickids.com/encyclopedia/index.php/History)
    • Ancient Civilizations (http://www.academickids.com/encyclopedia/index.php/Ancient_Civilizations)
    • Industrial Revolution (http://www.academickids.com/encyclopedia/index.php/Industrial_Revolution)
    • Middle Ages (http://www.academickids.com/encyclopedia/index.php/Middle_Ages)
    • Prehistory (http://www.academickids.com/encyclopedia/index.php/Prehistory)
    • Renaissance (http://www.academickids.com/encyclopedia/index.php/Renaissance)
    • Timelines (http://www.academickids.com/encyclopedia/index.php/Timelines)
    • United States (http://www.academickids.com/encyclopedia/index.php/United_States)
    • Wars (http://www.academickids.com/encyclopedia/index.php/Wars)
    • World History (http://www.academickids.com/encyclopedia/index.php/History_of_the_world)
  • Human Body (http://www.academickids.com/encyclopedia/index.php/Human_Body)
  • Mathematics (http://www.academickids.com/encyclopedia/index.php/Mathematics)
  • Reference (http://www.academickids.com/encyclopedia/index.php/Reference)
  • Science (http://www.academickids.com/encyclopedia/index.php/Science)
    • Animals (http://www.academickids.com/encyclopedia/index.php/Animals)
    • Aviation (http://www.academickids.com/encyclopedia/index.php/Aviation)
    • Dinosaurs (http://www.academickids.com/encyclopedia/index.php/Dinosaurs)
    • Earth (http://www.academickids.com/encyclopedia/index.php/Earth)
    • Inventions (http://www.academickids.com/encyclopedia/index.php/Inventions)
    • Physical Science (http://www.academickids.com/encyclopedia/index.php/Physical_Science)
    • Plants (http://www.academickids.com/encyclopedia/index.php/Plants)
    • Scientists (http://www.academickids.com/encyclopedia/index.php/Scientists)
  • Social Studies (http://www.academickids.com/encyclopedia/index.php/Social_Studies)
    • Anthropology (http://www.academickids.com/encyclopedia/index.php/Anthropology)
    • Economics (http://www.academickids.com/encyclopedia/index.php/Economics)
    • Government (http://www.academickids.com/encyclopedia/index.php/Government)
    • Religion (http://www.academickids.com/encyclopedia/index.php/Religion)
    • Holidays (http://www.academickids.com/encyclopedia/index.php/Holidays)
  • Space and Astronomy
    • Solar System (http://www.academickids.com/encyclopedia/index.php/Solar_System)
    • Planets (http://www.academickids.com/encyclopedia/index.php/Planets)
  • Sports (http://www.academickids.com/encyclopedia/index.php/Sports)
  • Timelines (http://www.academickids.com/encyclopedia/index.php/Timelines)
  • Weather (http://www.academickids.com/encyclopedia/index.php/Weather)
  • US States (http://www.academickids.com/encyclopedia/index.php/US_States)

Information

  • Home Page (http://academickids.com/encyclopedia/index.php)
  • Contact Us (http://www.academickids.com/encyclopedia/index.php/Contactus)

  • Clip Art (http://classroomclipart.com)
Toolbox
Personal tools