出栈顺序合法性

我通常是按照下面的方法来判断的：
假如入栈顺序为1234，给定一个出栈序列，如2431，它是合法的。
因为对于出栈序列中的每一个数字，在它 后面 的、比它 小 的所有数字， 一定是按递减顺序排列的 。
也许表述的不清楚，请看下面的例子。
假如出栈序列为4123，显然不满足上述要求，因为对于4，它后面比它小的数字序列为123，递加，所以不是合法出栈序列。
若出栈为3142，也不合法，因为3后面比它小的1和2不是递减排列的。
若出栈为1234，则合法，因为对于每一个数字，它后面没有比它小的数字。