for L being lower-bounded continuous LATTICE holds
( L is distributive iff L is Heyting )