for L being Lattice holds L is SubLattice of L