for L being algebraic LATTICE holds
( L is arithmetic iff CompactSublatt L is LATTICE )