theorem Th52: :: FILTER_0:52

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