Rozdíl množin

V matematice se jako rozdíl dvou množin označuje taková množina, která obsahuje každý prvek, který se nachází v první z množin, ale nenachází se ve druhé z nich, a žádné další prvky. Rozdíl množin A a B se označuje symbolem ${\displaystyle A-B}$, případně ${\displaystyle A\setminus B}$.

Pro všechna x platí, že ${\displaystyle x\in A-B\Leftrightarrow (x\in A\wedge x\not \in B)}$.

• Rozdílem množin { 0, 2, 4, 6, 8, 10, 12, 14 } a { 0, 3, 6, 9, 12 } je množina { 2, 4, 8, 10, 14 }.
• Rozdílem množiny reálných čísel a racionálních čísel je množina iracionálních čísel.
• Rozdílem množiny celých čísel a nezáporných reálných čísel je množina všech záporných celých čísel.

Mějme libovolné množiny A, B a C. Potom platí následující rovnosti:

• 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 ∖ A = ∅
• ∅ ∖ A = ∅
• A ∖ ∅ = A

• Množinové operace
• Průnik
• Sjednocení
• Doplněk množiny
• UNION

Teorie množin
Axiomy	axiom výběru • axiom spočetného výběru • axiom závislého výběru • axiom extenzionality • axiom nekonečna • axiom dvojice • axiom potenční množiny • Axiom regulárnosti • axiom sumy • schéma nahrazení • schéma axiomů vydělení • hypotéza kontinua • Martinův axiom • velké kardinály
Množinové operace	doplněk • de Morganovy zákony • kartézský součin • potenční množina • průnik • rozdíl množin • sjednocení • symetrická diference
Koncepty	bijekce • kardinální číslo • konstruovatelná množina • mohutnost • ordinální číslo • prvek množiny • rodina množin • transfinitní indukce • třída • Vennův diagram
Množiny	Cantorova diagonální metoda • fuzzy množina • konečná množina • nekonečná množina • nespočetná množina • podmnožina • prázdná množina • rekurzivní množina • spočetná množina • tranzitivní množina • univerzální množina
Teorie	axiomatická teorie množin • Cantorova věta • forsing • Kelleyova–Morseova teorie množin • naivní teorie množin • New Foundations • paradoxy naivní teorie množin • Principia Mathematica • Russellův paradox • Suslinova hypotéza • Von Neumannova–Bernaysova–Gödelova teorie množin • Zermelova teorie množin • Zermelova–Fraenkelova teorie množin • alternativní teorie množin
Lidé	Abraham Fraenkel • Bertrand Russell • Ernst Zermelo • Georg Cantor • John von Neumann • Kurt Gödel • Lotfi Zadeh • Paul Bernays • Paul Cohen • Petr Vopěnka • Richard Dedekind • Thomas Jech • Willard Quine