２分探索木は、どのノードに着目しても、

　左部分木のノードのキーの最大値　＜　キー値　＜　右部分木のノードのキーの最小値

　が成立する。図の赤の部分がこの条件が成立しない。