for L being distributive bounded Lattice holds
( L is Boolean iff Spectrum L is unordered )