theorem :: FILTER_2:25

for L being Lattice st L is lower-bounded holds
{(Bottom L)} is Ideal of L