顶层高度是指电梯最高层站装饰后楼面与井道顶面下最突出构件之间的水平距离。（ ）