for L being completely-distributive LATTICE holds L is continuous