theorem Th18: :: CARDFIL4:19

for X being non empty set
for cF being Filter of X ex cB being filter_base of X st
( cB = cF & <.cB.) = cF )