for L being Lattice st L is 0_Lattice holds
<.L.) = <.(Bottom L).)