:: deftheorem defines F2BOOL CARDFIL2:def 24 :
for T being non empty TopSpace
for F being Filter of the carrier of T holds F2BOOL (F,T) = F;