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