theorem :: YELLOW_5:23

for L being lower-bounded Semilattice
for a being Element of L holds (Bottom L) \ a = Bottom L