在任意剖面上测量垂直岩层顶底面界线之间的距离为岩层真厚度。