for L being lower-bounded algebraic LATTICE holds
( L is arithmetic iff L -waybelow is multiplicative )