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.