for L being finite LATTICE
for x being Element of L holds
( height x = 1 iff x = Bottom L )