for L being lower-bounded LATTICE holds BasicDF L is onto