二叉排序树的充要条件是任一结点的值均大于其左孩子的值，小于其右孩子的值。