for L being Lattice st L is upper-bounded holds
(.L.> = (.(Top L).>