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.