判定一个栈SP[最多元素个数为m]为空的条件是_____。