for L being upper-bounded Lattice holds Top L = Top (LattPOSet L)