for L being with_zero GAD_Lattice
for x being Element of L holds x "\/" (bottom L) = x