for L being distributive bounded well-complemented preOrthoLattice holds (Top L) ` = Bottom L