theorem :: LATTICEA:31

for L being bounded Lattice
for a being Element of L holds Bottom L in PseudoComplements a