for L being Lattice
for F being Filter of L st L is upper-bounded holds
latt F is upper-bounded