theorem Th03: :: CARDFIL2:13

for X being non empty set
for F being Filter of X holds F is basis of F