Teorie množin: Porovnání verzí
Smazaný obsah Přidaný obsah
m →Symboly teorie množin: presun vyroku, uprava |
m →Symboly teorie množin: exists -> forall, asi chybicka |
||
Řádek 22:
[[Predikátový symbol|Predikátové]]{{Doplňte zdroj}} symboly:
* <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>(\
* <math>a \isin b</math> — množina <math>a</math> je prvkem množiny <math>b</math>
* <math>a = b</math> — množiny <math>a</math> a <math>b</math> jsou shodné, mají stejné prvky — <math>(\forall x)(x \isin a \Leftrightarrow x \isin b)</math>
| |||