Teorie množin: Porovnání verzí

* <math>\emptyset, \{\}</math> — prázdná množina (neobsahující žádné prvky)

* <math>\,\{ a,b,c \}</math> — množina obsahující právě vyčtené prvky — v tomto případě obsahuje tři prvky <math>a,b,c</math>

* <math>\,\{ a: V(a) \}</math>, <math>\,\{ a; V(a) \}</math> nebo <math>\,\{ a| V(a) \}</math> — množina obsahující právě všechny objekty <math>a</math>, pro které platí [[výrok (logika)|výrok]] <math>V</math>

* <math>a \cup b</math> — sjednocení dvou množin: <math>a \cup b = \{ x: x \isin a \vee x \isin b \}</math>

* <math>\bigcap a</math> — průnik všech prvků <math>a</math>: <math>\bigcap a = \{ x: (\forall y)(y \isin a \Rightarrow x \isin y ) \}</math>

 

* <math>a \subseteq b</math> — množina <math>a</math> je podmnožinou množiny <math>b</math>, obsahuje pouze prvky z <math>b</math> — <math>(\exist x)(x \isin a \Rightarrow x \isin b)</math>

* <math>a \isin b</math> — množina <math>a</math> je prvkem množiny <math>b</math>