theorem :: CARDFIL2:26

for X being non empty set
for B1, B2 being filter_base of X st <.B1.) = <.B2.) holds
B1,B2 are_equivalent_generators