theorem :: CARDFIL2:63

for X being non empty set
for F being Filter of X holds union F = X by CARD_FIL:5, ZFMISC_1:74;