theorem Th10: :: CARDFIL2:30

for X being non empty set
for B being filter_base of X holds B is basis of <.B.)