在二叉排序树（BST）中，若某结点的左子树为空，则该结点一定是整棵树中的最小值结点。