Ultrafiltr: Porovnání verzí
Smazaný obsah Přidaný obsah
m narovnání přesměrování |
m Robot: náhrada zastaralé matematické syntaxe podle mw:Extension:Math/Roadmap |
||
Řádek 5:
# <math> F \,\! </math> neobsahuje [[Prázdná množina|prázdnou množinu]]
# <math> A,B \isin F \implies A \cap B \isin F \,\! </math>
# <math> (A \isin F \
# <math> ( \forall A \isin \mathbb{P}(X)) (A \isin F \vee X - A \isin F) \,\! </math>
| |||