Lemma di Tarsky

[Giffone]

Ciao a tutti ,qualcuno potrebbe aiutarmi a trovare la dimostrazione di questo lemma?

Sia B,algebra di Boole e x \(\displaystyle \in \) B allora:
\(\displaystyle \exists \)F, filtro di B tale che x \(\displaystyle \in \)F e l'omomorfismo canonico h,associato a F, preserva gli Inf.