for X1 being non empty set
for cB1 being filter_base of X1
for cF1 being Filter of X1
for cBa1 being basis of cF1 st cBa1 = cB1 holds
<.cB1.] = cF1