for X being non empty set
for F being Filter of X
for B being basis of F
for L being Subset of (BoolePoset X) st L = # B holds
F = uparrow L