theorem Th16: :: CARD_FIL:16

for X being non empty set
for FS being non empty Subset of (Filters X) st FS is c=-linear holds
union FS is Filter of X