topo: 最/极限 [22; E. top]