for L being strict Lattice holds latt <.L.) = L