类型:垂直极限