Dimostrazione

 

 

 

Basta definire t in questo modo:

t = {A | A м X e X \ A н F}.
t è la famiglia dei sottoinsiemi di X tali che il loro complementare appartiene alla famiglia F assegnata.