Ultrafiltr: Porovnání verzí

Podle bodu 4 je v '''ultrafiltru''' obsažena podmnožina <math> A \subseteq X \,\! </math> nebo její doplněk <math> (X - A) \subseteq X \,\! </math>. Pokud by pro některou množinu <math> A \subseteq X \,\! </math> obsahoval ultrafltr tuto množinu, i její doplněk, pak by musel podle bodu 2 obsahovat i <math> A \cap (X - A) = \emptyset \,\! </math> , a podle bodu 1 by se již nejednalo o ultrafiltr. Ultrafiltr tedy vždy obsahuje buď množinu, nebo její doplněk, ale nikdy ne obojí zároveň.<br />

Tato vlastnost tedy zaručuje, že '''ultrafiltr''' je mezi ostatními vlastními filtry na potenční množině v jistém smyslu [[Maximální prvek|maximální]] - jakmile bychom se pokusili přidat k němu další množinu, pak výsledkem již nebude ultrafiltr, výsledkem již dokonce nebude ani filtr.

 

== Příklady a vlastnosti ==