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