theorem Th11: :: FILTER_0:11

for L being Lattice
for H being Filter of L st L is 1_Lattice holds
Top L in H